📖 AI 总结

OpenAI 宣布其内部多智能体系统攻克了千禧年大奖难题之一的纳维尔斯托克斯方程存在性与光滑性问题，证明三维不可压缩流体在光滑外力作用下可在有限时间内形成奇点。该系统由约1万个AI Agent协作，耗时88小时完成解答，并通过Lean形式化验证，消耗约3000亿输出Token。清华姚班毕业生、OpenAI研究员陈立杰对此表示时代发展超预期。然而，纽约大学流体力学专家Tristan Buckmaster公开质疑研究优先权，称其与Anthropic研究员合作已先期取得相关突破，并指出OpenAI对研究过程的描述存在不完整之处。该成果若获数学界认可，标志着AI已能参与解决长期困扰顶尖数学家的难题，但研究透明度和归属争议也随之浮现。