Expired60% confidenceFactExact time
This is the first time in public record that an AI has autonomously solved an open problem at the core of a mathematical subfield.
2
Sources
60%
Confidence
Medium-term (~90 days)
Relevance
7/2/2026
First Seen
Valid until: 9/30/2026(expired)
Sources
OpenAI Cracks Erdős Unit Distance Conjecture: AI Independently Disproves 80-Year-Old Math Problem for the First Time
bilibiliAI技术投降派6/6/2026
Related Claims
UnverifiedDetermining whether AI has truly solved a mathematical problem hinges on whether its proof process can be rigorously verified, not on the answer it outputs71% similarUnverifiedThe AI solved the forced case of the Euler equations, while the human mathematicians solved the unforced case.71% similarVerifiedModern AI mathematical systems adopt a generate-and-verify closed-loop architecture, leveraging the asymmetry of mathematical problems being 'hard to generate but easy to verify'68% similarUnverifiedThere is currently no universally accepted complete solution to AI alignment.68% similarUnverifiedThe research paper Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment explores whether an AI system can autonomously explore, conjecture, and prove mathematical propositions without human-preset goals.68% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/50580API
curl https://kongchang.com/api/v1/knowledge/claims/50580MCP
get_claim(id=50580)