OpenAI 宣布内部模型解出纳维–斯托克斯千禧难题,伴随署名争议
OpenAI 九月八日官方发文,称其一个「显著强于 GPT-6 Astra」的内部模型,通过约一万个并发代理协同(全部尝试合计四百九十万条消息、约三千亿输出令牌;其中纳维–斯托克斯单项二百七十万条消息、约一千三百亿输出令牌),在约八十八小时内得出了纳维–斯托克斯方程可有限时间产生奇点的解析证明,并附 Lean 形式化验证(验证另耗时十七小时)。公司明确声明不申领千禧奖。同步爆发的争议:纽约大学数学家 Buckmaster 与 Anthropic 员工 Alpöge 周一刚发布受迫欧拉方程(简化版本)的 AI 辅助证明;Buckmaster 的声明文件称 OpenAI 员工曾提出「排除 Alpöge 署名」的合作方案,且对其与 AI 的对话记录是否被使用未作回应。OpenAI 首席研究官否认访问过二人记录。目前没有任何数学机构或独立同行评审确认该证明有效——这是公司声明,不是学界结论。