数学界与人工智能领域同时迎来重大突破——一个通用推理模型成功推翻了困扰学界近八十年的“平面单位距离猜想”。这项由OpenAI团队完成的研究成果，经多位顶尖数学家独立验证后确认有效，被菲尔兹奖得主誉为“AI数学研究的里程碑事件”。
该猜想由匈牙利数学家保罗·厄多斯于1946年提出，核心问题是：在平面任意放置n个点时，距离恰好为1的点对数量的最大值如何确定。尽管数学家们长期认为正方形网格排列能达到理论上限，但始终无法证明或推翻这一猜想。OpenAI的模型通过构造全新点集构型，证明存在构型可使单位距离点对数量达到n的1+δ次方（δ为固定正数），直接否定了厄多斯的原始假设。
研究团队公布的证明方案引发学界震动。普林斯顿大学组合数学家诺加·阿隆指出，模型不仅突破了传统几何思维框架，更创造性地运用了代数数论中的“无穷类域塔”和“戈洛德-沙法列维奇理论”。这些原本用于研究整数分解的抽象工具，被证明能有效解决平面几何问题，其构造方式被评价为“兼具优雅与巧妙的数学艺术”。
值得关注的是，此次突破并非专用数学模型的结果。OpenAI特别强调，完成证明的是具备跨领域推理能力的通用系统，这标志着AI已具备将复杂论证串联、连接不同学科知识的能力。参与验证的剑桥大学教授蒂莫西·高尔斯表示：“当AI开始产生真正原创的数学思想，并独立完成从构造到证明的全过程时，我们正在见证科学方法论的根本性转变。”
该成果的验证过程异常严谨。OpenAI同步发布了由四位国际顶尖数学家联署的验证报告，其中包括曾公开批评AI数学研究的托马斯·布鲁姆。这位多伦多大学数论学家坦言：“七个月前我还认为AI在数学领域的作用被严重高估，但现在必须承认，它正在帮助我们探索延续数个世纪的数学殿堂中那些未曾发现的奇迹。”
学术界对证明细节的讨论仍在持续。普林斯顿大学数学家威尔·索温进一步优化了模型构造，确定δ值精确为0.014。研究团队透露，模型在探索过程中自主生成了超过200种候选构型，最终通过代数数论工具筛选出最优解。这种跨学科的问题解决路径，为传统数学研究提供了全新范式。
OpenAI在公告中特别强调人类专家的不可替代性。尽管AI已能独立完成创造性论证，但问题选择、结果解读和研究方向的把控仍需人类主导。核心研究科学家在技术文档中写道：“当AI开始处理研究的创造性部分时，人类专家的判断力将变得比以往任何时候都更重要。这不是替代关系，而是科学发现能力的指数级扩展。”
这项突破迅速引发连锁反应。数学界开始重新评估AI在理论推导中的潜力，计算机科学领域则着手开发专用工具以支持跨学科验证。有学者指出，代数数论与组合几何的意外结合，可能预示着更多数学分支将出现类似突破，而AI的介入或将大幅缩短重大猜想的研究周期。
