OpenAI正在把千禧年数学难题当成LeetCode来刷。

OpenAI已经向《纽约时报》正式确认：在攻克纳维-斯托克斯问题之后，他们在过去五天内，在另一个千禧年大奖难题上取得了实质性进展，目前正在评估如何审慎地公布这些结果。

最新的消息显示，这个被推进的难题正是霍奇猜想。

与此同时，Anthropic也传出接近解决伯奇-斯维讷顿-戴尔猜想。

如果这些进展全部坐实，意味着人类数学史上封印了几十年的三大千禧年难题，可能会在一个月内被AI相继攻破。

幕后的技术迭代速度远超外界预期。

大约两周前，OpenAI完成了一个全新内部模型的训练，外界推测其命名为Aeon。

这个模型的数学推理能力，大幅超越了两周前的世界最强模型Astra。

从零开始到彻底解决纳维-斯托克斯方程，Aeon只用了88个小时。

随着A厂传出筹备IPO的消息，两家头部AI实验室在科学前沿的军备竞赛彻底白热化。

AI生成并验证严肃数学证明，代表它已经具备产出全新科学知识、寻找全新创造性解法的能力。

霍奇猜想是克雷数学研究所设立的七大千禧年大奖难题之一，悬赏金额为100万美元。

它由苏格兰数学家威廉·瓦伦斯·道格拉斯·霍奇提出。霍奇在1930年到1940年间开展了相关研究，并在1950年的国际数学家大会上作了演讲介绍。

这个猜想试图连接数学的两个核心领域：拓扑学和代数几何。

拓扑学研究柔软的几何特征。它关注的是整体形状，比如一个空间里到底有多少个洞。只要不撕裂形状，路径可以随意弯曲。

代数几何研究刚性的几何特征。它研究由严格的多项式方程所定义出来的形状，结构固定，无法随意变形。

在复杂的几何空间里，拓扑学家发现的那些抽象的洞，到底是怎么构成的？

霍奇猜想断言：在特定的空间（非奇异复代数簇）内部，这些拓扑意义上的洞，每一个都有由代数方程构成的坚硬骨架在支撑。

这意味着，那些原本看起来抽象、难以直接观察的高维拓扑特征，背后都有精确的代数方程作为根源。

几十年来，霍奇猜想和伯奇-斯维讷顿-戴尔猜想一直困扰着顶尖数学家。

现在，这扇大门正被AI暴力推开。

有一种恍惚的感觉，人类社会正式进入奇点了？

一个接一个重大问题都会快速被解决。

太他么科幻了！！！

本文来源：AI寒武纪

风险提示及免责条款
市场有风险，投资需谨慎。本文不构成个人投资建议，也未考虑到个别用户特殊的投资目标、财务状况或需要。用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。