Expired50% confidenceFactExact time
It is currently unclear which specific mathematical problem OpenAI claims to have solved.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
9/12/2026
First Seen
Valid until: 9/26/2026(expired)
Sources
Related Entities
Related Claims
UnverifiedTerence Tao has put forward the view that unsolved open mathematical problems are being 'mined' by AI in a 'non-renewable' manner.74% similarUnverifiedOpenAI's approach to solving the problem this time was through proof by contradiction (constructing a counterexample), and did not involve genuine theory-building or pioneering new fields.70% similarUnverified目前公开可验证的AI数学成果绝大多数停留在解决有已知答案的竞赛题目层次，而非创造全新数学知识的开放性问题层次63% similarUnverified数学界对解决未解问题的标准要求同时满足：问题是学界公认的开放问题、证明逻辑严密、通过同行评审62% similarUnverifiedThe inclusion of a Lean 4 proof does not mean that OpenAI has solved a Millennium Prize Problem; it more likely targets a specific lemma or special case.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/914196API
curl https://kongchang.com/api/v1/knowledge/claims/914196MCP
get_claim(id=914196)