OpenAI官宣：88小时攻破千禧年难题

来源：Popyard

分类： 🔬 科教

发布时间：2026-09-08 00:00:00

声明：本文转载自「Popyard」，或因排版与篇幅原因进行过编辑，内容未经本站独立核实，不代表本站立场、观点或建议。如涉及版权问题，请联系我们，核实后立即删除。 [ 免责声明 ]

刚刚，OpenAI 宣布，一个内部模型生成了纳维-斯托克斯（Navier-Stokes）存在性与光滑性问题的完整证明，并已通过 Lean 形式化验证！

千禧年七大数学难题中，第二个被解决的问题已经诞生！

给出证明的，是约一万个 Agent。

这道题悬而未决了约 90 年，此前七大难题中只有庞加莱猜想被俄罗斯数学家佩雷尔曼解决。

评论 (0)