OpenAI 的 Navier-Stokes 证明出现翻译错误

OpenAI mistranslated mathematics into code for its Navier-Stokes proof

OpenAI 宣布解决 Navier-Stokes 问题后，数学家团队发现其发布的证明存在微妙错误。OpenAI 分别提供了给人看的证明和给计算机验证的代码，但两者并不匹配。这并非意味着证明本身错误或问题未解，却引发了对大语言模型生成数学结果可靠性的质疑。剑桥大学的 Anders Hansen 指出，所有由大型语言模型生成的证明都需要人类逐一阅读，这给数学家带来了巨大的额外负担。