News
🤖 OpenAI 公布纳维–斯托克斯千禧年难题解答 OpenAI 公布纳维–斯托克斯存在性与光滑性问题的解答，这是七大千禧年大奖难题之一
1 min read
Source: Telegram AI频道
🤖 OpenAI 公布纳维–斯托克斯千禧年难题解答 OpenAI 公布纳维–斯托克斯存在性与光滑性问题的解答，这是七大千禧年大奖难题之一。其内部系统给出的证明显示，起初光滑的流体可在有限时间内产生奇点，并同时公开论文与 Lean 形式化验证；求解动用约 1 万个并行智能体、270 万条消息和约 1300 亿输出 token。OpenAI 称无意申领该奖项。 OpenAI 起初以为 Anthropic 员工 Levent Alpöge 与纽约大学教授 Tristan Buckmaster 也解出了该题，…