主 题：OpenAI 公布纳维–斯托克斯千禧年难题解答
发 布 者：KimJun
标签分类： 情报
时 间：2026-09-09 10:31:00
内容预览：OpenAI 公布纳维–斯托克斯存在性与光滑性问题的解答，这是七大千禧年大奖难题之一。其内部系统给出的证明显示，起初光滑的流体可在有限时间内产生奇点，并同时公开论文与 Lean 形式化验证；求解动用约 1 万个并行智能体、270 万条消息和约 1300 亿输出 token。OpenAI 称无意申领该奖项。OpenAI 起初以为 Anthropic 员工 Levent Alpöge 与纽约大学教授 Tristan Buckmaster 也解出了该题，提出联合发布，后得知对方解出的是受迫欧拉方程。OpenAI 承认对方在该问题上的优先权。@分析学爱好者
直达链接： https://www.nodeseek.com/post-919584-1