[NS : KimJun] OpenAI 公布纳维–斯托克斯千禧年难题解答

OpenAI公布纳维–斯托克斯存在性与光滑性问题的解答，这是七大千禧年大奖难题之一。其内部系统给出的证明显示，起初光滑的流体可在有限时间内产生奇点，并同时公开论文与Lean形式化验证；求解动用约1万个并行智能体、270万条消息和约1300亿输出token。OpenAI称无意申领该奖项。OpenAI起初以为Anthr