OpenAI研究员陈立杰回应AI攻克千禧年难题：现实超预期

OpenAI研究员陈立杰近日公开回应了AI攻克千禧年难题的事件。他表示，自己曾在2026年初预测AI可能在2027年发表数学顶级论文、2028年前后解决千禧年大奖问题，但现实发展速度超出预期，“这是一个非常不可思议的时代。”

此前，OpenAI宣布其内部AI系统完成了对纳维-斯托克斯方程存在性与光滑性问题的一个解答，并公开相关论文及Lean形式化证明。纳维-斯托克斯方程是千禧年大奖难题之一，也是现代流体力学核心理论基础。OpenAI表示，如果这一成果最终得到数学界认可，意味着AI已经开始参与解决过去几十年甚至上百年由顶尖数学家持续研究的问题。

据OpenAI介绍，该证明由一个内部多智能体系统完成，系统部署了约1万个Agent。团队从9月1日开始让不同Agent小组探索未解决的千禧年大奖问题，最终在9月5日得到解答，从启动到获得结果耗时约88小时，随后又花费17小时完成Lean形式化验证。整个过程中，Agent共发送约490万条消息，消耗约3000亿输出Token。OpenAI表示，该成果背后模型能力显著超过GPT-6 Astra。

陈立杰出生于1995年，曾获国际信息学奥林匹克竞赛全球第一名，是清华姚班毕业生，后在MIT获得计算机博士学位，目前担任加州大学伯克利分校EECS助理教授，并加入OpenAI负责大模型数学推理研究。这一事件也引发了对AI参与基础科学研究的讨论。