广东
观点网讯：据APPSO消息，OpenAI宣布其内部AI系统完成了对纳维尔斯托克斯方程存在性与光滑性问题的一个解答，并公开相关论文及Lean形式化证明。OpenAI表示，这份证明由一个内部多智能体系统完成。
纳维尔斯托克斯方程是描述流体运动的核心数学模型，从飞机设计、天气预测到血液流动研究都依赖这一套方程。其关键问题之一是：三维不可压缩流体在初始状态光滑的情况下，是否可能在有限时间内产生奇点，即流体速度在有限时间内无限增长。
这一问题自19世纪纳维和斯托克斯提出相关方程后，一直困扰数学界。1934年，数学家Jean Leray证明了方程广义解存在，但光滑解是否永远存在，依然没有答案。
2000年，克雷数学研究所将纳维尔斯托克斯存在性与光滑性问题列入七个千禧年大奖难题，并提供100万美元奖金。
在计算规模方面，OpenAI披露，在纳维尔斯托克斯问题中，参与工作的Agent数量达到约1万个。
从启动任务到获得结果，大约耗时88小时，随后又花费17小时完成Lean形式化验证。
整个过程中，Agent共发送约490万条消息，消耗约3000亿输出Token。其中，纳维尔斯托克斯问题相关任务产生约270万条消息，消耗约1300亿输出Token。
人员方面，清华姚班传奇毕业生、加州大学伯克利分校EECS助理教授陈立杰加入OpenAI，负责大模型数学推理研究。
免责声明：本文内容与数据由观点根据公开信息整理，不构成投资建议，使用前请核实。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
