数学博士半年证明的定理,ChatGPT 秒出更优雅证法
Yuchenj_UW · x · 2026-10-10
YuchenjUW 分享一则见闻:一位数学博士与其导师花了 6 个月证明一个定理,发表前询问 ChatGPT,AI 很快用他们从未想过的思路给出了更优雅的证明,两人陷入存在危机。
他认为数学家不必绝望——编码领域已经经历过同样的过程,如今离不开 AI。在这个时代,深厚的领域专长 + 善用 AI 的能力,才是真正的护城河。
「漫话AGI」频道最新
- 历史上卡车取代马车的启示:自动化伤害最小的路径是新人不进场 — soumitrashukla9 · 2026-10-23
- 研究者反驳「AI 网络安全恐慌」:卖防御先造焦虑是老剧本 — gerardsans · 2026-10-23
- Nina Schick:算力不足本身就是巨大的网络与整体安全风险 — NinaDSchick · 2026-10-23
- 投资人观点:AI 若是泡沫,也是最「分裂」的一个 — robleclerc · 2026-10-23
- Chamath:银行将率先用服务条款封杀 AI Agent — nicolechirps · 2026-10-23
- AI 研究者:Claude 替我完成了多年前放弃的繁琐研究任务 — MikePFrank · 2026-10-23