OpenAI 宣布约 1 万个 AI 智能体 88 小时生成纳维-斯托克斯问题证明
继 Claude 尝试攻克黎曼猜想后：OpenAI 宣布用 10000 个 AI 智能体 88 小时攻克千禧年大奖难题，陶哲轩既点赞又担忧
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
OpenAI 于当地时间 9 月 8 日宣布，其内部未公开的 AI 模型解决了千禧年大奖难题中的纳维-斯托克斯存在性与光滑性问题，团队用约 1 万个 AI 智能体在约 88 小时内生成证明，GPT-6 Astra 在约 17 小时内完成 Lean 形式化验证。
来源：IT Home · ithome.com