OpenAI 纳维-斯托克斯声明后，哈佛数学家对 AI 证明是否需人类理解产生分歧
Harvard mathematicians are split over whether correct AI proofs need human understanding, after OpenAI’s Navier-Stokes claim.
在 OpenAI 的纳维-斯托克斯声明之后，哈佛数学家对正确的 AI 证明是否需要人类理解存在分歧。Rohan Paul 指出，证明既说明命题为真，也教给数学家可复用的方法，而 AI 证明往往只做到前者。数学家看重证明的确定性与技巧，无人理解的 AI 证明给出了确定性，却没有给出技巧。
推荐理由
AI 评分 58
借哈佛数学家的分歧，呈现 AI 证明在确定性与可复用方法之间的取舍。
主题
正文
当前显示原文，中文全文译文尚未就绪。
Harvard mathematicians are split over whether correct AI proofs need human understanding, after OpenAI’s Navier-Stokes claim.
A proof does 2 things: it shows a statement is true, and it teaches other mathematicians a method they can reuse, and AI proofs often deliver only the first.
Mathematicians value proofs for 2 reasons, certainty and technique, and an AI proof that nobody understands gives them certainty while withholding the technique.