#AI攻破80年数学难题#困扰人类80年的著名数学难题，被 AI 破解了！
OpenAI 内部一个通用推理模型，自主解决了保罗·埃尔德什在 1946 年提出的平面单位距离问题。
这也是 AI 首次，完全自主解决了一个处于数学核心子领域中心的著名公开问题。
获得了顶尖数学家的高度认可，包括菲尔兹奖得主 Tim Gowers 在内的多位顶尖数学家验证了该证明，并认为这标志着AI已经超越了单纯的计算助手，具备了产生原创性天才想法，并将其贯彻到底的能力。
这个问题探讨的是，在平面上放置 n 个点时，最多能产生多少对距离恰好为 1 的点。
过去几十年，数学界普遍相信基于正方形网络的构建是最优的，但 AI 推翻了这个猜想。
证明过程也非常有意思，打破了常规的几何思路，出人意料的借用了代数理论中，非常高深的工具来解决这个基础的几何问题。
这只是一个通用的推理模型，而不是专门针对数学或特定问题训练的模型。说明模型随着测试期计算（test-time compute）的增加，展现出了极强的长逻辑推理和自我验证能力。