OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？

OpenAI 正将 AI 驱动的科学发现推向更广阔的领域。9 月 8 日，OpenAI 宣布，其内部 AI 系统已提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过 Lean 形式化验证。这是七大千禧年大奖难题之一，也意味着 AI 在前沿数学研究中的能力再次向前迈进。据 OpenAI 官网