微新创想：数学界迎来了一次具有里程碑意义的重大突破
OpenAI近日宣布其内部最新的推理模型成功生成了一份原创数学证明 正式推翻了由著名数学家保罗·Erdős在 1946 年提出的单位距离猜想 这一成果标志着人工智能首次依靠自身长链推理能力 自主攻克了数学核心领域的开放性难题
走出检索泥潭 专家独立验证
值得注意的是 就在七个月前 OpenAI曾因宣称解决多个Erdős问题而被学术界指责为“从文献中检索已有答案”的伪原创 这一次 OpenAI吸取了教训 主动邀请了包括Thomas Bloom在内的多位国际知名数学家进行独立验证 证明的严谨性得到了多方学者的明确支持
过去 AI在数学领域的成果大多局限于重新验证人类已知的定理 而本次推理模型却彻底打破了人类近 80 年来的传统认知
此前 数学家普遍认为该猜想的最优解大致呈现为网格状排列 但OpenAI的模型却另辟蹊径 独立发现了一套表现更优的全新构造方案
摆脱幻觉困扰 辐射前沿科学
从技术层面来看 解决此类开放式数学难题对AI的逻辑链条提出了严苛要求 数学证明涉及数个复杂的推导步骤 任何一步出错都会导致全盘皆输 这也意味着该推理模型已经基本克服了传统大语言模型中常见的“幻觉”通病
虽然部分学者指出该证明仍需等待更长时间的同行评审 但其带来的潜在溢出效应已经引发广泛关注
单位距离猜想与组合几何 图论密切相关 该成果的落地未来有望直接辐射至生物学中的蛋白质折叠研究 材料科学中的晶体结构分析以及药物分子的设计优化
