OpenAI Publishes 722 AI-Generated Mathematical Manuscripts from Unreleased Model
OpenAI has released 722 AI-generated mathematical manuscripts grouped into 372 result families, produced by an unreleased internal model that tackled about 4,000 problems. The results, covering areas like number theory and theoretical computer science, include formal proofs verified using the Lean programming language. OpenAI consulted an independent advisory group to develop best practices for sharing these findings, acknowledging that further verification and revisions are needed. The release highlights AI's growing role in mathematical research while raising questions about validation and attribution.
First-hand measurement across 6 sources
We measured how 6 outlets covered this story. No outlet gave this story a measurable political slant — there is no left–right reading to report. Overall sentiment is neutral (60/100). Lens Score 39/100.
Outlets measured: hindustantimes, freepressjournal, timesnow, firstpost, indianexpress, indiatoday. See how each one headlined and framed the same story in the source comparison below.
AI Analysis
Sentiment was consistent across outlets (55–70/100), indicating broadly factual reporting rather than editorialising.
Coverage timeline
indiatoday broke this story on 7 Oct, 03:03 am. Other outlets followed.