地里快讯

OpenAI于9月8日公布了针对纳维-斯托克斯方程千禧年奖难题的证明。该问题要求判断三维不可压缩流体运动方程的光滑解是否会在有限时间内出现奇异性（即「爆破」），自上世纪30年代被提出以来长期悬而未决，是克雷数学研究所设立的七大千禧年难题之一，单项奖金100万美元。 OpenAI表示，证明由其新一代模型驱动的多智能体系统协作完成，该模型能力显著超过此前的GPT-6 Astra，整个攻关过程消耗的算力成本约为1500万美元。这被视为AI从辅助验算走向独立产出前沿数学结果的标志性节点。 争议随之而来。数学家Tristan Buckmaster与Levent Alpöge同期公布了各自借助AI得到的流体爆破证明，并对OpenAI关于双方接触经过的说法提出异议，认为OpenAI是在获知其工作后才转向该方向；OpenAI则回应称在完成证明期间未看到过两人的成果。另有报道称，一名OpenAI研究员曾施压要求某位数学家从论文中移除来自Anthropic的合作者署名。 目前这份证明尚未经过同行评议，也未获得克雷数学研究所的正式认定，多位数学界人士对结论能否成立及功劳归属仍持保留态度。