OpenAI公布纳维–斯托克斯千禧年难题解答及Lean证明

OpenAI宣布其内部系统给出纳维–斯托克斯存在性与光滑性问题的解答：在光滑外力作用下，初始静止且光滑的三维不可压缩流体可在有限时间内形成奇点，且全过程能量保持有限。该结果对应克雷数学研究所官方表述中的C、D命题，已同步公开论文和Lean形式化证明，仍待学界独立审查。项目使用了比GPT-6 Astra显著更强的内部模型，约1万个并行智能体在约88小时内形成证明，发送270万条消息、生成约1300亿输出Token，Lean形式化和验证另耗时17小时。OpenAI无意申领千禧年大奖。OpenAI最初误以为Anthropic员工Levent Alpöge与纽约大学教授Tristan Buckmaster也解出了该题，后确认两人解决的是受迫欧拉方程问题，并认可其在该问题上的优先权。

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。