The math preprint just shipped in a batch of 722. openai released 722 mathematics manuscripts on…
the math preprint just shipped in a batch of 722. openai released 722 mathematics manuscripts on github this week, and the field is still arguing about what to do with them.
the peer-review queue now trails the machine.
Context
Verified date: OpenAI released 722 mathematics manuscripts on GitHub on Oct 6, 2026, per The Daily Inference and AI Weekly. The openai/math repository says they were produced by an internal OpenAI model and are organized into 372 families.
AI Weekly, Oct 9, reports only 162 of the 722 had main results formalized in Lean, that OpenAI withdrew three within a day and revised fourteen, and that a group letter criticized the release. AI In Context says 28 Fields Medal winners signed an open letter.
The 722 count and the GitHub release match, and the date is Oct 6, not a vague this week. The argument over what to do with them is supported by the AI Weekly and AI In Context reports of mathematician pushback. That the peer-review queue trails the machine is the author's opinion and is not stated in the sources read.
Related work
- OpenAI Developer Community: first look at mathematics manuscripts ↗Oct 6, 2026 announcement thread.
- explainx.ai: OpenAI math results, claims, Lean status, expert views ↗Oct 7, 2026.
- arXiv: a human audit of OpenAI's AI-generated mathematical proofs ↗Audit of ten results announced Aug 1, 2026.
Watch next
- Check which manuscripts have Lean formalizations and which were withdrawn.
Sources
Provenance
The note above is reproduced unedited from the original post, first published on Threads on 11 October 2026 at 19:18 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 →