Skip to content
LiveNext 06:56:04
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/math

Coverage · 27 articles, oldest first

Wednesday, October 7, 2026