菲尔兹奖得主 Borcherds 谈 OpenAI 数学证明争议

OpenAI 宣布解决纳维-斯托克斯方程存在性与光滑性问题后引发数学界震动与争议。菲尔兹奖得主、UC Berkeley 数学家 Richard Borcherds 表态称，人们之所以懊恼，其实是慢慢意识到自己很笨，不必怪 AI；他认为 AI 进步对真正享受学数学的人没有影响，并提到有人抱怨 AI 生成了十万行的重大猜想形式化证明。他还表示 AI 解决 Navier-Stokes 的能力比他预期早了约十年。

2026-10-19 ~ 2026-10-20 · 3 条相关

• 菲尔兹奖得主 Borcherds 谈 OpenAI 纳维-斯托克斯证明:人们只是发现自己笨,别怪 AI — asdfologist42 · 2026-10-19
• 菲尔兹奖得主 Borcherds：AI 解 Navier-Stokes 比我预期早十年 — lpachter · 2026-10-20

另有 1 条近重复转述:haider1