Verified65% confidenceEventExact time
OpenAI recently disclosed its models' performance on mathematical problem solving, involving attempts at reasoning and proving complex mathematical propositions.
3
Sources
65%
Confidence
Short-term (~14 days)
Relevance
10/8/2026
First Seen
Valid until: 10/22/2026
Sources
Related Entities
Related Claims
VerifiedOpenAI's AI systems have already solved more than 100 open problems in mathematics77% similarPartially 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.76% 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.76% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/987127API
curl https://kongchang.com/api/v1/knowledge/claims/987127MCP
get_claim(id=987127)