待验证60% 置信事实精确时间
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
来源数
60%
置信度
中期 (~90 天)
时效性
2026/7/2
首次发现
有效期至：2026/9/30
来源
相关事实
待验证AI首次真正意义上解决了一个广为人知的数学未解难题——Erdős猜想，被誉为组合几何领域最著名的问题79% 相似待验证AI在平面单位距离问题（Planar Unit Distance Problem）上取得了重大突破，这被认为是AI首次真正解决一个广为人知的未解数学问题78% 相似待验证这被认为是AI造成的第一个真正的数学突破，是独立发现了人类未能找到的证明路径，而非辅助性计算74% 相似待验证Determining whether AI has truly solved a mathematical problem hinges on whether its proof process can be rigorously verified, not on the answer it outputs71% 相似待验证现代AI数学系统采用生成-验证闭环架构，利用数学问题'生成困难、验证容易'的非对称性68% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/50580API
curl https://kongchang.com/api/v1/knowledge/claims/50580MCP
get_claim(id=50580)