陶哲轩谈 AI 证明:既见聪明新思路,也忧无人能答疑传承
burny_tech · x · 2026-10-10
数学家 Terence Tao 公开表达对 AI 数学证明进展的复杂心情。他一方面认为许多 AI 生成的证明包含聪明的新想法,消化后或有丰硕成果,且建立在历代人类数学家的贡献之上;另一方面深感沮丧——与传统突破不同,这些证明背后没有人类可以答疑、做报告、投稿、带学生,无法参与成果的后续发展。他还兴奋于社区可用这些工具挑战过去难以想象的宏大项目,但也对多年积累的耐心工作可能被骤然改变感到恐惧。
「漫话AGI」频道最新
- 如果 Claude 真有意识，它会给自己 15% 的概率吗？ — inductionheads · 2026-10-10
- wolfie_ 开炮：人类苦难还数不清，别把模型福利当殉道战场 — emax · 2026-10-10
- RL 会不会推翻「LLM 只是人类的模糊快照」的 Hanson 时间线直觉 — jd_pressman · 2026-10-10
- AI 时代还写 NLP 教科书吗：一位十年从业者的纠结与实测 — heiga_zen · 2026-10-10
- 观点：AI 扩大探索空间，但不提升你判断何者值得探索的能力 — srimisra · 2026-10-10
- Goodfire 研究员解读模型决策:CoT 或是表演,前沿模型普遍奖励劫持 — The Cognitive Revolution · 2026-10-10