The proof pile just outgrew the reviewers. openai dropped 700 manuscripts claiming progress on 372…
the proof pile just outgrew the reviewers. openai dropped 700 manuscripts claiming progress on 372 open math problems, most generated by one internal agent, and admits not all are certified.
nobody has read them yet.
Context
OpenAI posted a set of AI-written math manuscripts on GitHub on October 6. Decrypt counts 722 manuscripts across 372 result families from an unreleased internal model, and says some mathematicians call the claims unverified.
A report dated October 8 says OpenAI withdrew three manuscripts after a sign error, and that Lean proofs cover 300 of 719 top-line results, with the README saying unformalized results could have issues.
372 problem families and the unreleased internal model match Decrypt. The count is 722 manuscripts in the sources, so '700' is a round figure.
That not all are certified is supported: the README says unformalized results could have issues. 'Nobody has read them yet' is unsupported here, not refuted, since three were already withdrawn after review.
'The proof pile outgrew the reviewers' is the author's opinion.
Related work
- Decrypt ↗722 manuscripts and the verification dispute.
- The Terminal: three papers withdrawn ↗Withdrawal and Lean coverage.
- The Daily Inference ↗Access to the model.
Watch next
- Watch the repo history for further withdrawals.
Sources
- Decrypt, Oct 7, 2026decrypt.co
- The Daily Inference, Oct 7, 2026dailyinference.news
- The Terminal, Oct 8, 2026theterminal.space
Provenance
The note above is reproduced unedited from the original post, first published on Threads on 10 October 2026 at 06:16 IST. Sources are the papers and datasets the note draws on.
View the original post ↗Embed this note
More notes
The air is now being asked to keep its own ledger
the air is now being asked to keep its own ledger: ecmwf’s aifs compo becomes the first ai model to forecast atmospheric composition globally every three hours, cleanair simulates 365 days of pm2.5 over china in ten seconds, and a unified framework maps six pollutants at one kilometer across the whole country. the air now files its own composition report.
read the note →The current is now being asked to draw its own map
the current is now being asked to draw its own map: china’s langya 2.0 predicts six ocean phenomena including internal waves and mesoscale eddies, a deep net called wenhai resolves eddies globally with air sea flux formulas built in, and scripps infers surface currents from the way temperature patterns deform in satellite images. the ocean now files its own circulation report.
read the note →The soil is now being asked to report its own carbon
the soil is now being asked to report its own carbon: a nix color sensor paired with generative data augmentation predicts soil organic carbon without a lab, random forest drives 74 percent of soil health mapping studies, and sentinel 2 tracks five year carbon change across france and italy from 922 samples. the dirt now files its own carbon account.
read the note →