11 October 2026
OpenAI releases hundreds of unverified math papers from unreleased model
First reported
Ars Technica ran this on , a day before the other 2 sources picked it up.
- OpenAI published about 719 to 722 math manuscripts, covering 372 topic families, generated by an unreleased AI model.
- Only about 300 of the results have been formalized, meaning converted into formulas a computer can check, so most remain unverified.
How it was covered
Reported by Tom's Hardware