AI has given math a new problem: It has solved more problems than humans can verify. Normally, more solutions (aka “proofs” in the math world) mean more math problems have been solved. But AI has generated so many proof submissions—most likely correct, too—that the mathematicians are struggling to keep up. Recently, Terence Tao, one of the greatest living mathematicians, spent days translating a 90,000-line AI-generated math proof into 15,000 lines for other humans to understand. A new way…