人工智能的发现
OpenAI周一透露，其通用推理模型已解决平面单位距离问题，这是数学家保罗·埃尔多于1946年提出的离散几何开放问题。该成就标志着人工智能系统首次自主破解一个数学领域的著名核心难题。近80年来，数学家们认为埃尔多问题的最优解大致类似正方形网格。OpenAI模型推翻了这一假设，生成了全新的构造家族，提供了更优表现。该证明来自通用推理模型，而非专为数学构建的系统，并已用Lean验证语言形式化。
专家验证
菲尔兹奖得主陶哲轩审核并接受了该证明，为其在数学界赢得了可信度。这一结果被描述为人工智能系统能够整合长链条推理、连接遥远领域思想的新时代开端。
数学之外的影响
OpenAI表示，实现这一数学突破的相同能力将很快加速生物学、物理学、工程学和医学领域的工作。公司强调，人类判断仍然不可或缺——人工智能可以搜索、建议和验证，但由人类选择重要问题并解读结果。