OpenAI称已解决了一道存在80年的数学难题

推翻几何猜想的意外亮点

在2026年5月20日的时候，OpenAI宣布啦，其最新通用推理模型，自主推翻了，自1946年起，由数学家保罗·埃尔德什提出的，一个几何猜想。这一成果，被多位数学家进行了背书，它标志着，AI首次在数学核心难题上，取得了原创突破。和传统解题不一样，该模型给出的构造方案，完全不同于，人类长期依赖的，“方形网格”直觉。

OpenAI着重表明，此证明并非特地针对这道难题所设计，它是通用推理能力的自然延展，数学家诺加·阿隆、梅兰妮·伍德以及托马斯·布卢姆联合撰写补充评述，对证明的严谨性予以验证，这为AI于科学发现领域含有的潜力给出了最新证据。

七个月前的前车之鉴

在2025年10月的时候，OpenAI当时的副总裁凯文·维尔在X平台之上宣称GPT‑5找到了10个埃尔德什问题的解，并且在另外11个问题方面取得了进展。仅仅这样的声明很快就引发了争议，由于数学界明确指出这些“解”实际上早就已经存在于文献当中了，只是模型从已经拥有的成果里面翻找出来的。

在谷歌深度思维首席执行官德米斯·哈萨比斯、扬·勒昆等竞争对手的嘲讽之下，维尔最终删除了这条帖子，这次事件使得开放人工智能在后续发布过程之中变得更加谨慎，以避免再次被指责夸大事情的言辞。

数学界背书的新证明

此次，OpenAI公开了一份“补充评述”文件，该文件由多位顶尖数学家撰写，详细论证了证明的每一步。联名的人有普林斯顿大学的诺加·阿隆，还有加州大学伯克利分校的梅兰妮·伍德，另外还有剑桥大学的托马斯·布卢姆，而托马斯·布卢姆曾批评维尔的言论是“极具戏剧性的误导”。

布卢姆对“Erdos Problems”网站予以维护，在之前那一轮风波里持有批评的态度，然而这次他却站到了OpenAI那一边，为新的证明提供支持。这意味着数学界针对AI能力展开重估，不会再把它看作是单纯的文献搜索工具了。

跨领域概念连接的能力

OpenAI觉得，这一突破的关键意义在于，模型展现出了“长链条推理”，以及“跨领域概念连接”的能力，该模型并未依靠传统数学直觉，而是探寻了人类研究者没尝试过的构造方式，最终给出了比方形网格更好的方案。

这一能力，已然超越了独自一个数学命题所涵盖的范围，有着可能在生物学、物理学、工程学以及医学等好些个领域带来全新发现的希望。AI早已经不再仅仅是验证原有既有的证明或者是搜索文献了，而是开始在提出全然新颖的结构以及思路方面充当起更为积极的角色了。

通用推理模型的优势

OpenAI着重指出，此项成果源自一个通用推理模型，并非是专门针对解题所设计的数学系统。该模型并未接受针对那道几何难题的定制训练，而是依靠自身的自主学习能力，在复杂空间当中探索出独特的构造。

这种通用性表明AI能够被极为广泛地运用在各种各样的科学难题方面，并不需要针对于每一个问题去再次训练模型。沿着计算能力有所提升的方向，这类模型有着在更多还没有解决的问题上收获突破的希望，从而改变人类探索知识所采用的方式。

数学大教堂的未竟奇迹

布卢姆于一份声明里表明，人工智能正协助人类“更为充分地探寻我们历经几百年来共同构建起来的数学大教堂”。他发出疑问：“究竟还有多少尚未被看见的奇迹，正悄然等待着登场亮相？”这样的引用呼应了人工智能在数学发现当中的全新角色。

“AI能否做出原创科学发现”的讨论还没平息的时候，这次经过数学界审查之后仍然得到认可的几何猜想反例，可能会变成后续争论的重要参照点，它表征着AI已经拥有独立创新潜力，未来或许会跟人类一道合作探测更多未知领域。

若是你觉得AI凭借自身去证明数学方面的难题，这能不能表明机器已然拥有实际的创造力呢，欢迎于评论区域展现你的见解，去点赞以及再转发此文章，以使更多人切入这场关乎未来的探讨之中。

猜你喜欢