OpenAI称其内部AI系统给出纳维-斯托克斯千年难题解答

OpenAI发布由内部AI系统产出的纳维-斯托克斯方程存在性与光滑性问题解答，证明三维流体运动可在有限时间内发展出奇点，并同时公布证明文本与Lean形式化验证。该问题是克雷数学研究所千禧年七大难题之一，悬置约90年。OpenAI明确表示不以此申领千禧年奖金，并披露Anthropic员工Levent Alpöge与纽约大学教授Tristan Buckmaster就相关forced Euler问题具有优先工作，双方同意同期发布。