Fields Medalist Terence Tao warns AI could produce more math proofs than humans can handle

Artificial intelligence is triggering a foundational crisis in mathematics by shifting the field from a shortage of proofs to an overwhelming abundance of them, according to 2006 Fields Medal winner Terence Tao.