OpenAI 宣布已通过 AI 解决了纳维-斯托克斯千禧年大奖难题,这是一个重大的数学挑战。该解决方案包含一个 Lean 形式的证明,是使用一个未发布的内部模型开发的。这项成就也伴随着争议,因为纽约大学的一位数学家和一位 Anthropic 的员工声称 OpenAI 的工作可能受到了他们自己近乎完成的研究的影响,而他们的研究使用了包括 GPT-5.6 Sol 在内的 AI 工具。 AI
影响 这一成就可能标志着 AI 驱动的科学发现新时代的到来,有望加速流体动力学等复杂领域的突破。
排序理由 OpenAI,一家前沿实验室,宣布使用其内部 AI 模型解决了重大的数学问题。
- Greg Brockman
- Millenium Prize problem
- Navier-Stokes problem
- non-linear PDEs
- OpenAI
- Anthropic
- Claude
- codex
- GPT 5.6 "Sol"
- Gpt6 Astra
- Levent Alpöge
- Millennium Problems
- Navier-Stokes existence and smoothness problem
- New York University
- Tristan Buckmaster
AI 生成摘要 · Google Gemini · 来自 5 个来源。 我们如何撰写摘要 →