Technology
Mathematicians Stunned by OpenAI Proof Dump as Experts Question Validity
OpenAI released 722 papers claiming advances on 372 open mathematical problems, including Millennium Prize challenges, but experts describe many proofs as unintelligible and several have already been retracted.
09 Oct 2026