又一个里程碑？

困扰人类80年的著名数学难题，被 AI 破解了？

事情是这样的，OpenAI 内部一个通用推理模型，自主解决了保罗·埃尔德什在 1946 年提出的平面单位距离问题。

这也是 AI 首次，完全自主解决了一个处于数学核心子领域中心的著名公开问题。

获得了顶尖数学家的高度认可，包括菲尔兹奖得主 Tim Gowers 在内的多位顶尖数学家验证了该证明，并认为这标志着AI已经超越了单纯的计算助手，具备了产生原创性天才想法，并将其贯彻到底的能力。

这个问题探讨的是，在平面上放置 n 个点时，最多能产生多少对距离恰好为 1 的点。

过去几十年，数学界普遍相信基于正方形网络的构建是最优的，但 AI 推翻了这个猜想。

证明过程也非常有意思，打破了常规的几何思路，出人意料的借用了代数理论中，非常高深的工具来解决这个基础的几何问题。

重点来了，这只是一个通用的推理模型，而不是专门针对数学或特定问题训练的模型。说明模型随着测试期计算（test-time compute）的增加，展现出了极强的长逻辑推理和自我验证能力。

展望下未来，AI 已经展现出了在复杂逻辑里，保持连贯性和跨领域连接思想的能力。不仅适用于数学，未来还将推动生物学，物理学，材料学等领域的自动化研究。

这也将开启人机协作的新阶段，尽管AI开始在科研创新的核心环节发挥重要作用，但人类专家的判断力将变得更加重要。

未来的科研模式将是，人类负责提出核心问题，解释研究意义，决定下一步的研究方向，而 AI 作为强大的科研伙伴负责探索，推理和验证。

传送门：openai.com/index/model-disproves-discrete-geometry-conjecture/

#HOW I AI##科技先锋官#