第 2026-10-09 期 · 社区音量
Yuchen Jin @Yuchenj_UW
昨天看到一个视频: 一位数学博士和她的导师花了6个月证明一个定理。在发表之前,他们问了ChatGPT。 AI很快找到了一个更优雅的证明,使用了一种他们从未考虑过的方法。 他们现在陷入了存在危机。 但数学家们不应该绝望。我们在编程领域经历过这个。现在我们离不开AI了。 深厚的领域专业知识+知道如何利用AI是这个时代强大的护城河。
查看原文 ↗话题:Yuchen Jin
昨天看到一个视频: 一位数学博士和她的导师花了6个月证明一个定理。在发表之前,他们问了ChatGPT。 AI很快找到了一个更优雅的证明,使用了一种他们从未考虑过的方法。 他们现在陷入了存在危机。 但数学家们不应该绝望。我们在编程领域经历过这个。现在我们离不开AI了。 深厚的领域专业知识+知道如何利用AI是这个时代强大的护城河。
查看原文 ↗