待验证70% 置信观点时间未知
这被认为是AI造成的第一个真正的数学突破,是独立发现了人类未能找到的证明路径,而非辅助性计算
1
来源数
70%
置信度
中期 (~90 天)
时效性
2026/6/1
首次发现
有效期至:2026/8/30
来源
AI首次攻克Erdős猜想:数学未解难题的历史性突破
youtubeOpenAI
相关事实
待验证AI在平面单位距离问题(Planar Unit Distance Problem)上取得了重大突破,这被认为是AI首次真正解决一个广为人知的未解数学问题78% 相似待验证This is the first time in public record that an AI has autonomously solved an open problem at the core of a mathematical subfield.74% 相似待验证AI首次真正意义上解决了一个广为人知的数学未解难题——Erdős猜想,被誉为组合几何领域最著名的问题74% 相似待验证已有数学家公开表示AI在探索数学猜想、检查计算过程中提供了切实帮助73% 相似待验证在数学证明这类严谨领域,AI给出的新思路最终仍须人类专家严格验证71% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/17792API
curl https://kongchang.com/api/v1/knowledge/claims/17792MCP
get_claim(id=17792)