近日,人工智能领域在数学难题攻克方面接连取得突破性进展。OpenAI团队率先宣布,借助其最新研发的GPT-5.5模型,成功解决了由著名数学家保罗·埃尔德什于1946年提出的“平面单位距离猜想”。这一难题长期困扰数学界,被视为组合几何领域的重要挑战之一。
就在OpenAI公布成果后不久,另一家人工智能公司Anthropic的工程师Sholto Douglas通过社交平台宣布,其团队开发的Claude Mythos系统也完成了对该难题的证明。Douglas在推文中特别强调,Claude Mythos给出的证明方案“既巧妙又简洁”,这一成果进一步印证了人工智能在数学发现领域的巨大潜力。
据技术文档披露,Claude Mythos采用了一种创新的多实例协作机制。系统首先启动多个具备独立访问权限的Claude Code实例,每个实例分别探索不同的证明路径。随后,由其中一个实例汇总所有探索结果,并将优化后的信息重新分配给其他实例进行深度验证。这种分布式计算模式显著提升了问题解决的效率与可靠性。
数学界对这两项成果给予了高度关注。独立数学家Daniel Litt在分析比较后指出,虽然两个系统都完成了核心证明,但OpenAI的解决方案在理论严谨性上更胜一筹,而Claude Mythos的证明过程则展现出更强的创造性思维。这种差异恰好反映了当前人工智能在数学研究中的两种典型路径:前者侧重系统化推导,后者强调直觉性突破。
随着两大人工智能系统的相继突破,“平面单位距离猜想”的解决标志着数学研究进入新阶段。业内专家认为,这类成果不仅推动了基础理论的发展,更为人工智能与数学研究的深度融合提供了宝贵经验。目前,相关研究团队正在整理完整证明过程,计划提交至权威数学期刊进行同行评审。










