陶哲轩撰文：我们为什么还需要人类数学家
auggierose · hn · 2026-09-20
著名数学家陶哲轩（Terence Tao）在其博客发表新文章，探讨 AI 时代人类数学家的价值。文章讨论了 AI 工具在证明、猜想探索和形式化验证中的角色变化，以及这如何重塑数学研究的方式与数学家的定位。
「漫话AGI」频道最新
- Toby Ord：部署前强制测试意义有限，内部模型才是最大风险源 — ben_j_todd · 2026-11-12
- 「AI 灭绝人类？大概率没事」：乐观派文章引热议 — NathanpmYoung · 2026-11-12
- 斯坦福研究：AI 五年内或减少放射科医生 33% 工时 — StanfordAILab · 2026-11-12
- 商业策略之争:把 AI 藏在人后面,而非把人藏在 AI 后面 — annetgriffin · 2026-11-12
- Yampolskiy 对阵 Israetel：租下教堂辩论 AI 末日概率 — rand_longevity · 2026-11-12
- Reddit 网友放话：OpenAI 撑不过三四年，将被收购出局 — Dadideology · 2026-11-12