
OpenAI 公布纳维–斯托克斯存在性与光滑性问题的解答,这是七大千禧年大奖难题之一。其内部系统给出的证明显示,起初光滑的流体可在有限时间内产生奇点,并同时公开论文与 Lean 形式化验证;求解动用约 1 万个并行智能体、270 万条消息和约 1300 亿输出 token。OpenAI 称无意申领该奖项。
OpenAI 起初以为 Anthropic 员工 Levent Alpöge 与纽约大学教授 Tristan Buckmaster 也解出了该题,提出联合发布,后得知对方解出的是受迫欧拉方程。OpenAI 承认对方在该问题上的优先权。
OpenAI | Sam Altman(@sama) | Sebastien Bubeck(@SebastienBubeck)
© 版权声明
文章版权归作者所有,未经允许请勿转载。
THE END













暂无评论内容