AI is creating a foundational crisis, shifting the field of mathematics from a scarcity of proofs to an overabundance, according to Terence Tao, a Fields Medalist in 2006.