哈佛数学家：AI证明的价值之争

在 OpenAI 声称解决纳维-斯托克斯方程之后，哈佛数学家们对于正确的 AI 证明是否需要人类理解这一问题意见不一。

证明有两项作用：它表明一个陈述为真，同时教会其他数学家一种可以重复使用的方法，而 AI 证明往往只能做到前者。

数学家看重证明有两个原因：确定性和技巧，而一项无人理解的 AI 证明能给他们确定性，却无法传授技巧。