The Mathocalypse
a day ago
- OpenAI released 372 major mathematical results, including a proof of the Unique Games Conjecture, which was a central career problem for the author's wife, Dana Moshkovitz.
- The AI-generated proofs are poorly written and difficult for humans to understand, requiring AI assistance to interpret; they often contain irrelevant citations and unclear reasoning.
- Other notable results include L=BPL, a faster Fourier Transform, solution to the Unitary Synthesis Problem, and progress on the Riemann Hypothesis and other Millennium Problems.
- Two models for communicating AI breakthroughs emerged: OpenAI's release of undigested proofs (creating a race to understand them) and Anthropic's selection of specific researchers to write digested versions.
- The author reflects on the emotional impact on mathematicians, comparing it to a hunter-gatherer suddenly faced with a resort hotel, and emphasizes the need to adapt while preserving community and adventure.