CoolingResearch
OpenAI posts 722 math manuscripts from an unreleased internal model
OpenAI's GitHub catalogue holds 722 manuscripts in 372 families, produced by an unreleased internal model. OpenAI says each result averaged about three hours of ChatGPT Pro thinking compute, from roughly 4,000 problems. Results sit at different verification stages, not all have Lean formalizations, and the authors say they will fix issues quickly.
- HEAT
- OUTLETS
- 23
- HACKER NEWS
- 1315 pts
- FIRST SEEN
- LAST SIGNAL
Primary source
OpenAI (GitHub)github.com/openai/mathCoverage · 27 articles, oldest first
Wednesday, October 7, 2026
GitHubPrimary
github.com/openai/mathagmai.org
agmai.org/The New York Times
nytimes.com/2026/10/06/science/openai-math-problems.htmlThe Rundown AI
therundown.ai/articles/openai-math-avalanche-continuesThe Wall Street Journal
wsj.com/tech/ai/openai-ai-math-problems-millennium-prize-23d14511?st=p958yVCautious Optimism
cautiousoptimism.news/its-always-dayone
Thursday, October 8, 2026