AI Unleashes 372 Math Breakthroughs, Including Unique Games Conjecture

OpenAI released 372 major mathematical proofs, including a solution to the Unique Games Conjecture (UGC), a problem that had eluded mathematicians for years. The proofs, generated by AI, are so complex that no human has fully understood them yet. The UGC proof introduces a bizarre new code and recursive construction, bypassing the conjecture itself for some applications. Other notable breakthroughs include solving the L=BPL conjecture, improving the Fourier Transform and integer multiplication algorithms, and resolving the Unitary Synthesis Problem. The AI-generated proofs have sparked a race among mathematicians to verify and understand them, with some expressing awe and confusion at the sheer volume and complexity of the results. The article also highlights two models for communicating AI math breakthroughs: the OpenAI approach of dumping raw results and the Anthropic method of collaborating with human researchers.