OpenAI Platform里程碑新发布2026-09-08
OpenAI 发布 AI 生成的纳维-斯托克斯千禧年大奖问题解答
OpenAI Releases AI-Generated Solution to Navier-Stokes Millennium Prize Problem
推理开源
EVENT SUMMARY
事件摘要
OpenAI 分享了由 AI 生成的纳维-斯托克斯千禧年大奖问题解答，并附带论文和 Lean 形式化证明。纳维-斯托克斯方程是七大千禧年数学难题之一，若该解答被数学界验证和接受，将成为 AI 在纯数学和理论科学领域的重大突破。
ANALYST VIEW
中立分析
为什么重要
如果被验证，这将是 AI 在数学领域前所未有的突破，可能改变人工智能在纯数学和理论科学中的角色认知，极大提升 AI 辅助科研的行业信心。
影响对象
面向数学界、科研人员和 AI 社区，展示 AI 在解决人类尚未解决的重大数学问题上的潜力。
证据说明
原文确认 OpenAI 发布了 AI 生成的解答和 Lean 形式化证明，但未说明是否经过同行评审或被数学界接受。
不确定性
解答是否被数学界验证和接受尚不确定；纳维-斯托克斯问题是七大千禧年难题之一，此前无人解决。
SOURCES