RELEASE · MODELS · #1816
OpenAI releases 700+ claimed mathematical proofs; mathematicians react with shock
On October 6, 2026 OpenAI uploaded more than 700 manuscripts to GitHub claiming solutions to hundreds of open mathematics problems; the release prompted over 100 responses collated by the blog Proofs and Prompts. Experts are divided — some say the results contain striking ideas, others warn many papers are hard to read, some withdrawn, and the broader consequences for research practice, careers and even cryptography are being debated.
KEY POINTS
- On October 6, 2026 OpenAI uploaded more than 700 manuscripts to GitHub claiming solutions to hundreds of open mathematics problems; the release prompted over 100 responses collated by the blog Proofs and Prompts.
- Experts are divided — some say the results contain striking ideas, others warn many papers are hard to read, some withdrawn, and the broader consequences for research practice, careers and even cryptography are being debated.
- The mass release could materially accelerate how open mathematical problems are solved while disrupting academic careers, peer review norms and raising potential cryptographic-security concerns.
WHY IT MATTERS
The mass release could materially accelerate how open mathematical problems are solved while disrupting academic careers, peer review norms and raising potential cryptographic-security concerns.