AI写88小时，人类读7周！数学家开始读懂OpenAI千禧难题证明

OpenAI于9月8日公布一份宣称解决纳维-斯托克斯千禧难题的证明，由约1万个智能体在88小时内写成，共166页，随后GPT-6 Astra又用17小时把证明翻译成Lean语言交由机器逐行检查。数学家Scott Armstrong 10月26日在X上转述称，几组偏微分方程专家已基本读懂证明思路；在他看来，AI的证明与凸积分最像，但通过设计流体不稳定性让水流自发产生振荡外力，这种造力方式此前没有先例。复旦大学雷震与合作者Xiao Ren 9月下旬发布预印本，重写了原稿中构造流动轮廓的部分。Bastounis等三位研究者10月6日的预印本指出原稿与Lean版本的部分陈述和推导存在差异，同时声明未判断文字证明是否正确。克雷研究所目前仍把该题列为进行中，OpenAI表示不打算领取100万美元奖金。