Yuchenj_UW· @Yuchenj_UW · X·· 2 天前AI 评分
ChatGPT给出更优证明，数学家陷入存在危机
昨天看到一个视频： 一位数学博士和她的导师花了 6 个月证明一个定理。发表前，他们问了 ChatGPT。 AI 很快找到了一个更优雅的证明，用了一种他们从未想到的方法。 他们现在陷入了存在危机。 但数学家们不必绝望。我们在编程领域已经经历过这个过程。现在我们离不开 AI 了。 深厚的专业知识 + 懂得如何利用 AI，是这个时代的强大护城河。
Saw a video yesterday:
A math PhD and her advisor spent 6 months proving a theorem. Before publishing, they asked ChatGPT.
AI found a more elegant proof quickly, using an approach they'd never considered.
They have an existential crisis now.
But mathematicians shouldn't despair. We went through this in coding. Now we can't live without AI.
Deep domain expertise + knowing how to leverage AI is a strong moat in this era.
来源：Yuchenj_UW · x.com