OpenAI杀疯了,霍奇猜想也要被攻破了?
OpenAI确认在攻克纳维-斯托克斯问题后,又在霍奇猜想上取得实质进展;Anthropic也接近解决伯奇-斯维讷顿-戴尔猜想。三大千禧年数学难题或将在一个月内被AI相继攻破。AI已具备产出全新科学知识的能力,人类或正式迈入技术奇点。
OpenAI正在把千禧年数学难题当成LeetCode来刷。
OpenAI已经向《纽约时报》正式确认:在攻克纳维-斯托克斯问题之后,他们在过去五天内,在另一个千禧年大奖难题上取得了实质性进展,目前正在评估如何审慎地公布这些结果。
最新的消息显示,这个被推进的难题正是霍奇猜想。
与此同时,Anthropic也传出接近解决伯奇-斯维讷顿-戴尔猜想。
如果这些进展全部坐实,意味着人类数学史上封印了几十年的三大千禧年难题,可能会在一个月内被AI相继攻破。
新模型代号Aeon
幕后的技术迭代速度远超外界预期。
大约两周前,OpenAI完成了一个全新内部模型的训练,外界推测其命名为Aeon。
这个模型的数学推理能力,大幅超越了两周前的世界最强模型Astra。
从零开始到彻底解决纳维-斯托克斯方程,Aeon只用了88个小时。
随着A厂传出筹备IPO的消息,两家头部AI实验室在科学前沿的军备竞赛彻底白热化。
AI生成并验证严肃数学证明,代表它已经具备产出全新科学知识、寻找全新创造性解法的能力。
什么是霍奇猜想
霍奇猜想是克雷数学研究所设立的七大千禧年大奖难题之一,悬赏金额为100万美元。
它由苏格兰数学家威廉·瓦伦斯·道格拉斯·霍奇提出。霍奇在1930年到1940年间开展了相关研究,并在1950年的国际数学家大会上作了演讲介绍。
这个猜想试图连接数学的两个核心领域:拓扑学和代数几何。
拓扑学研究柔软的几何特征。它关注的是整体形状,比如一个空间里到底有多少个洞。只要不撕裂形状,路径可以随意弯曲。
代数几何研究刚性的几何特征。它研究由严格的多项式方程所定义出来的形状,结构固定,无法随意变形。
在复杂的几何空间里,拓扑学家发现的那些抽象的洞,到底是怎么构成的?
霍奇猜想断言:在特定的空间(非奇异复代数簇)内部,这些拓扑意义上的洞,每一个都有由代数方程构成的坚硬骨架在支撑。
这意味着,那些原本看起来抽象、难以直接观察的高维拓扑特征,背后都有精确的代数方程作为根源。
几十年来,霍奇猜想和伯奇-斯维讷顿-戴尔猜想一直困扰着顶尖数学家。
现在,这扇大门正被AI暴力推开。
有一种恍惚的感觉,人类社会正式进入奇点了?
一个接一个重大问题都会快速被解决。
太他么科幻了!!!


