OpenAI公布纳维–斯托克斯千禧年难题解答，并公开Lean形式化证明

PANews 9月9日消息，OpenAI宣布其内部系统给出纳维–斯托克斯存在性与光滑性问题的一个解答：在光滑外力作用下，初始静止且光滑的三维不可压缩流体可在有限时间内形成奇点，且全过程能量保持有限。OpenAI称，该结果对应克雷数学研究所官方表述中的C、D命题，已同步公开论文和Lean形式化证明，但仍有待学界独立审查。 OpenAI表示，项目使用了比GPT-6 Astra显著更强的内部模型，约1万个并行智能体在约88小时内形成证明，发送270万条消息、生成约1300亿输出Token，Lean形式化和验证另耗时17小时。OpenAI无意申领千禧年大奖。

FireView 对公开资讯进行聚合和分类，不代表对来源内容的背书，也不构成投资建议。新闻可能存在延迟、修订或错误，请以原发布方为准。