数学博士花6个月证的定理,ChatGPT 迅速给出更优雅证明

昨天看到一个视频:

一位数学博士和她的导师花了 6 个月证明一个定理。在发表之前,他们问了下 ChatGPT。

AI 很快找到了一个更优雅的证明,用的是一种他们从未考虑过的方法。

现在他们陷入了存在主义危机。

但数学家们不必绝望。我们在编程领域已经经历过这一切。现在我们离不开 AI 了。

深厚的领域专业知识 + 懂得如何利用 AI,是这个时代强大的护城河。