Expired70% confidenceOpinionTime unknown
This is considered the first genuine mathematical breakthrough caused by AI—independently discovering a proof path that humans had failed to find, rather than providing auxiliary computation.
1
Sources
70%
Confidence
Medium-term (~90 days)
Relevance
6/1/2026
First Seen
Valid until: 8/30/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.78% similarUnverifiedThis is the first time in public record that an AI has autonomously solved an open problem at the core of a mathematical subfield.74% 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.74% similarUnverifiedMathematicians have publicly stated that AI has provided tangible assistance in exploring mathematical conjectures and checking computational processes73% similarUnverifiedIn rigorous fields such as mathematical proofs, new ideas proposed by AI must ultimately be strictly verified by human experts.71% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/17792API
curl https://kongchang.com/api/v1/knowledge/claims/17792MCP
get_claim(id=17792)