Terence Tao says AI could trigger math's biggest crisis since Gödel
Terence Tao, a mathematician at the University of California, Los Angeles, warns that AI could trigger mathematics' biggest crisis since Gödel, comparable to the foundational upheaval around 1900. He argues that a proof …