OpenAI公布纳维–斯托克斯难题解答

OpenAI公布纳维–斯托克斯存在性与光滑性问题的解答。该问题是七大千禧年大奖难题之一。OpenAI内部系统给出的证明显示，起初光滑的流体可在有限时间内产生奇点；OpenAI同时公开论文与Lean形式化验证。此次求解动用了约1万个并行智能体、270万条消息和约1300亿个输出token。OpenAI称无意申领该奖项。 OpenAI起初认为，Anthropic员工Levent Alpöge与纽约大学教授Tristan Buckmaster也解出了该问题，并提出联合发布。随后OpenAI得知，对方解出的是受迫欧拉方程，并承认对方在该问题上的优先权。