OpenAI模型破解八十年无人能解的数学难题

币安Binance

币安交易所是全球加密货币交易所龙头，在手机上即可买卖比特币等数字货币！

官网注册  APP下载

OpenAI推理模型推翻埃尔德什猜想，AI首度解决重大数学难题

OpenAI内部研发的推理模型成功推翻了保罗·埃尔德什于1946年提出的著名猜想，这是人工智能首次独立解决数学领域长期悬而未决的重大问题。

突破性进展

该模型针对已提出80年的埃尔德什单位距离猜想构造出反例。证明过程运用了代数数论工具，并已通过外部专家评审。这标志着人工智能首次自主解决数学界的重要开放性问题。

研究路径创新

研究团队于5月20日宣布，其模型针对单位距离问题构造出反例。该问题探讨在若干点中，有多少对点能恰好保持单位距离。数十年来，学界普遍认为正方形网格布局接近最优解。这个看似简明的问题，却困扰了顶尖数学家八十年之久。

模型另辟蹊径，构建出一种比网格更复杂的结构，通过代数数论方法实现了比网格布局更多的单位距离。这种构造思路此前从未被人类数学家深入探索。

学术验证与深化

在公开发表前，外部专家小组对证明进行了全面评审。普林斯顿大学学者随后优化了论证过程，其改进版本表明单位距离数量的增长速度至少达到n的1.014次幂，较传统网格边界实现了多项式级突破。目前理论上限仍维持在n的1.333次幂附近，两者间仍存在研究空间。

学界评价

菲尔兹奖得主蒂莫西·高尔斯将这项成果称为里程碑事件，指出此前的人工智能证明均未能达到如此高度。多伦多大学学者丹尼尔·利特评价称，这是首个真正意义上令人兴奋的人工智能数学发现，其价值不仅在于预示未来潜力，更在于成果本身的意义。

专家特别强调了研究路径的重要性。多数数学家长期致力于证明而非推翻该猜想，且很少有人愿在毫无征兆的情况下投入大量精力进行复杂构造。人工智能则以不同方式权衡这种探索风险，能够遍历无数无效路径直至找到突破方向。

相关研究进展

此项突破并非孤立事件。数日后，谷歌团队报告其系统解决了埃尔德什问题清单中九个较小规模的问题，其中两个问题已开放五十余年。

此次审慎的成果发布修正了先前的失误。去年十月，该公司曾宣称其模型解决了十个埃尔德什问题，后经评审发现仅是重复已知解法。这一经历促使研究团队此次引入严格的外部评审机制。