ChatGPT给出更优证明，数学家陷入存在危机

昨天看到一个视频： 一位数学博士和她的导师花了 6 个月证明一个定理。发表前，他们问了 ChatGPT。 AI 很快找到了一个更优雅的证明，用了一种他们从未想到的方法。 他们现在陷入了存在危机。 但数学家们不必绝望。我们在编程领域已经经历过这个过程。现在我们离不开 AI 了。 深厚的专业知识 + 懂得如何利用 AI，是这个时代的强大护城河。