OpenAI 发布 AI 生成的纳维-斯托克斯千禧年大奖问题解答

为什么重要

如果被验证，这将是 AI 在数学领域前所未有的突破，可能改变人工智能在纯数学和理论科学中的角色认知，极大提升 AI 辅助科研的行业信心。

影响对象

面向数学界、科研人员和 AI 社区，展示 AI 在解决人类尚未解决的重大数学问题上的潜力。

证据说明

原文确认 OpenAI 发布了 AI 生成的解答和 Lean 形式化证明，但未说明是否经过同行评审或被数学界接受。

不确定性

解答是否被数学界验证和接受尚不确定；纳维-斯托克斯问题是七大千禧年难题之一，此前无人解决。