Terence Tao warns AI could trigger math's biggest identity crisis since Gödel

Fields Medalist Terence Tao says AI-generated proofs could force mathematics into a values crisis over what counts as a real contribution.