Verified65% confidenceFactExact time
OpenAI's AI systems have already solved more than 100 open problems in mathematics
3
Sources
65%
Confidence
Medium-term (~90 days)
Relevance
9/21/2026
First Seen
Valid until: 12/20/2026
Sources
Related Entities
Related Claims
UnverifiedOpenAI recently disclosed its models' performance on mathematical problem solving, involving attempts at reasoning and proving complex mathematical propositions.77% similarUnverifiedOpenAI is collaborating with Broadcom to develop dedicated chips for AI inference tasks.71% 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.70% similarUnverifiedOpenAI will make its most advanced AI model capabilities available at lower cost or even free of charge to qualifying critical service organizations for security scenarios such as threat detection, incident response, and vulnerability analysis.68% similarUnverifiedReports on Hacker News and other tech communities claim that an internal OpenAI model codenamed 'Astra' solved 10 major open problems in mathematics and computer science68% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/939635API
curl https://kongchang.com/api/v1/knowledge/claims/939635MCP
get_claim(id=939635)