OpenAI's 722-Paper Math Dump Sparks Verification Crisis and Human Race
OpenAI released 722 mathematical proofs on October 7, 2026, including claims on the Riemann hypothesis and unique games conjecture. While some results are potentially groundbreaking, three have already been retracted, and many lack formal verification. The release triggered a race among human researchers to publish competing work before AI scooped them, raising concerns about the future of mathematical research and the reliability of AI-generated proofs.