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.