Terence Tao warns AI could spark crisis in mathematics

Mathematician Terence Tao wrote that AI could push mathematics into a foundational crisis comparable to the disruption caused by Godel's incompleteness theorems. He argues the real test isn't whether AI-generated proofs are true, but what the field values as a genuine contribution and who gets credit for the work.

Why it matters: Tao's proposed standard, that an unexplainable AI proof should count as incomplete, pushes back against the idea that AI systems can simply replace human mathematical judgment. It reflects a wider tension across research fields over how to credit and verify work increasingly produced or assisted by AI.