OpenAI用未公开内部模型,调度约一万个AI智能体,耗时88小时给出了Navier-Stokes方程的奇点解,这是七个千禧年大奖难题中第二个被攻克的(前一个是佩雷尔曼的庞加莱猜想)。
-答案是"涡旋"解:流体向内螺旋收缩并轴向拉长,中心速度趋于无穷大但总能量有限;证明共165页,再由GPT-6Astra花17小时完成Lean形式化验证。
消耗约1300亿输出token,算力成本估计1500–2250万美元,远超100万美元奖金,OpenAI也明确不打算领奖——本质是一场算力与技术实力的展示。
纽约大学Tristan Buckmaster与Anthropic研究员Levent Alpöge在OpenAI宣布前12小时刚发布了同方向(通过平滑外力构造奇点)的成果,指控OpenAI听闻其进展后才转向该路径;两人此前曾把草稿存于OpenAICodex中。
OpenAI承认3D欧拉方程优先权归对方,但坚持Navier-Stokes成果归自己,并以"不能排除匿名化用户数据帮到模型"作暧昧回应,优先权之争陷入罗生门。
佩雷尔曼当年解出庞加莱猜想后,拒绝菲尔兹奖、拒绝百万奖金、退出学界,只因为"题在那里";而今天AI刚把题解开,人类立刻围绕"谁先想到、抄了谁、署谁名"争吵不休。
陶哲轩既点赞又担忧——担忧AI脱离人类深度参与后会削弱人类对数学的理解,但这种担忧在争功面前显得过于高远。
主旨一句话:AI在88小时内完成了人类90年没做完的证明,却解决不了——也不关心——人类关于功劳、署名和优先权的纷争;技术向前飞奔,人性原地打转,"AI负责解题,人类负责宫斗"。
 

Logo

openEuler 是由开放原子开源基金会孵化的全场景开源操作系统项目,面向数字基础设施四大核心场景(服务器、云计算、边缘计算、嵌入式),全面支持 ARM、x86、RISC-V、loongArch、PowerPC、SW-64 等多样性计算架构

更多推荐