Expired50% confidenceEventExact time
AI has already solved the 'plane unit distance problem,' which has an 80-year history, and has begun to touch on core components of the Langlands program.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
7/19/2026
First Seen
Valid until: 10/17/2026(expired)
Sources
Related Claims
UnverifiedAI has achieved a major breakthrough on the Planar Unit Distance Problem, which is considered to be the first time AI has genuinely solved a widely known unsolved mathematical problem.81% similarUnverifiedAI has for the first time truly solved a widely known unsolved mathematical problem — the Erdős conjecture, regarded as the most famous problem in combinatorial geometry.71% similarUnverifiedThis is the first time in public record that an AI has autonomously solved an open problem at the core of a mathematical subfield.67% similarUnverifiedAI has an over-engineering problem: for code that can be done in 100 lines, AI tends to write 1000 lines, introducing unnecessary abstraction layers and design patterns67% similarUnverifiedAI系统成功解决了一个悬置约25年之久的数学问题67% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/563076API
curl https://kongchang.com/api/v1/knowledge/claims/563076MCP
get_claim(id=563076)