Indexed from Dr. Alex Wissner-Gross’s October 9, 2026 newsletter. Linked-source claims have not been independently verified.
Development
OpenAI releases a reported 722 mathematics manuscripts
The author presents the release as a sharp reduction in the effort needed to produce mathematical results.
Claim
The newsletter reports OpenAI releasing 722 mathematics manuscripts, many reportedly verified in Lean at roughly three Pro-hours each; this index does not independently validate the proofs.
Reported metric: 722 manuscripts; about three Pro-hours apiece
Reporting date: (not necessarily the event date)
Sources
Attribution and reporting linked by this record; links do not imply independent verification.
- Welcome to October 9, 2026 (theinnermostloop.substack.com)
- Source linked by the October 9 issue (x.com)
- Source linked by the October 9 issue (openai.com)
Knowledge graphopen in browser →
Reported in
Actor
Referenced by
- Altman celebrates the mathematics release
- Chen claims a decade of mathematical progress in a week
- Mathematicians criticize OpenAI’s handling of advice
- A rumor describes two further manuscript batches
- The Association for Human Mathematics urges an OpenAI boycott
- The reported claims span major open mathematics problems
- An AI-generated tally assigns the release a large share of discoveries
- The edition compares the release with the earlier Navier–Stokes effort
- Curran describes fast mathematics results from an unnamed model
- An observer describes mathematics results as benchmarking byproducts
- Duminil-Copin describes the impact of OpenAI’s mathematics release
- Hugging Face turns mathematics problems into training environments
- An observer traces two years of reported AI mathematics progress
- Welcome to October 9, 2026
Cite or correct this record
Suggest a correction — opens a GitHub draft for you to review and submit.