技巧

数学 PhD 六个月证明的定理,ChatGPT 给出更优雅证法

精选理由

一个真实的数学案例:6 个月的定理证明被 ChatGPT 用另一种思路快速给出更优雅版本,看完你就明白为什么领域专家更该学会用 AI。

一位数学博士和导师花了 6 个月证明一个定理,投稿前询问 ChatGPT,AI 很快给出了一个他们从未考虑过的更优雅证明。发帖人 Yuchen_Jin 以此类比编程行业的经历:从恐慌到离不开 AI。他的结论是深厚的领域知识加上善用 AI,是这个时代的护城河。

原文 · Yuchen Jin

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.