Unverified50% confidenceEventExact time
OpenAI's model provided solutions to 372 open mathematics problems within a single day
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/9/2026
First Seen
Valid until: 10/23/2026
Sources
Related Entities
Related Claims
Partially VerifiedOpenAI publicly released 722 AI-generated mathematical manuscripts covering 372 result families, derived from testing an internal model on approximately 4,000 mathematical research problems.75% similarUnverifiedOpenAI recently disclosed its models' performance on mathematical problem solving, involving attempts at reasoning and proving complex mathematical propositions.73% similarUnverifiedOpenAI published a batch of mathematical results produced by internal frontier models, comprising 722 manuscripts; the models were posed approximately 4,000 open research questions, with each result consuming an average of about 3 hours of ChatGPT Pro reasoning compute.70% similarUnverifiedOpenAI's AI systems have already solved more than 100 open problems in mathematics67% similarUnverifiedAccording to Buckmaster, OpenAI mathematics team lead Sébastien Bubeck told him that an OpenAI model had autonomously generated a complete roughly hundred-page proof of forced Navier-Stokes blowup, and proposed arranging authorship credit for Buckmaster.63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/992668API
curl https://kongchang.com/api/v1/knowledge/claims/992668MCP
get_claim(id=992668)