数学博士用ChatGPT找到更优证明

导读

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