已收录文章摘要，完整内容可前往原文阅读。
刚刚，OpenAI 宣布，一个内部模型生成了纳维-斯托克斯（Navier-Stokes）存在性与光滑性问题的完整证明，并已通过 Lean 形式化验证！千禧年七大数学难题中，第二个被解决的问题已经诞生！