OpenAI在80年前数学难题上取得突破：AI推理能力里程碑

文/IAICA.com.cn

英国《卫报》报道，OpenAI在匈牙利数学家Paul Erdős 1946年提出的平面单位距离问题上取得重大突破。该问题探究：在平面上放置若干点，最多能有多少对点之间的距离完全相等？Erdős曾推测，这一数量仅会略快于点的数量增长，近80年来数学界普遍认为最优解接近正方形网格排列。

OpenAI的通用推理模型通过将问题拆解为多个步骤，而非依赖专门数学训练系统，发现了全新的点排列构造，其表现优于此前假设的极限，从而推翻了Erdős猜想中“正方形网格为最优”的核心假设。OpenAI在X平台宣布，AI找到了打破该猜想极限的排列方式。

entaiai.com认为，这一突破标志着AI从“模式匹配”向“创造性推理”的关键跃迁。传统数学研究依赖人类直觉与经验筛选路径，而AI能坚持探索人类可能因“看似无用”而放弃的方向，这正是其独特优势所在。尽管问题尚未完全解决（AI未给出精确增长速率），但已证明Erdős提出的上限过低，为后续研究开辟了新方向。

数学家Thomas Bloom（Erdős问题网站维护者）与Tim Gowers均对结果表示认可。Bloom此前曾批评OpenAI在Erdős问题上的其他声明，此次却与OpenAI共同撰写配套论文，指出AI生成的原始证明完全有效，但经人类研究者与多位数学家大幅改进后才臻于完善。

entaiai.com认为，这一“人机协作”模式揭示了AI在科学发现中的定位：它不是替代人类，而是成为“永不疲倦的探索伙伴”。当AI能以人类难以企及的广度与持久度遍历解空间时，数学与科学研究的范式正在悄然重构——未来，重大突破或将越来越多地源于“AI提出假设 + 人类验证优化”的混合路径。

Gowers称此为“AI数学的里程碑”，萨里大学以人为本AI研究所的Andrew Rogoyski则指出，AI正为人类提供看待问题的新视角，成为未来科学研究与创造性思维的基础工具。

entaiai.com认为，OpenAI选择在即将IPO的关键时刻公布这一成果，不仅证明其推理能力进步，也向市场传递了“AI正在从聊天工具进化为科学发现引擎”的信号。然而，去年曾因吸收现有文献而“翻车”的前车之鉴提醒我们：AI突破需经严格人类验证，才能真正转化为可信知识增量。

这一80年难题的局部突破，或许只是AI赋能数学的开端。当算法开始挑战人类长期确立的猜想边界时，我们正站在一个新时代的门槛上——AI不再只是工具，而是推动人类认知边界的共同探索者。

评论

0 条

登录后才可以发表评论。

立即登录

暂无评论，快来抢沙发。