转述陶哲轩观点:证明定理不难,提出猜想与抽象才是数学核心
akbirthko · x · 2026-09-12
帖主转述并解读陶哲轩关于 AI 与数学的讨论要点:"解决定理 X"并非数学的唯一目标,历史上困难问题的价值在于迫使人创造新概念、新方法、新抽象和新研究方向。帖主自称对 AGI 极度乐观,认为 AI 最终没有理由不能做理论、猜想、品味与综合,但存在中期担忧:用过 LLM 的人都知道能力高度参差——定理证明容易用 RLVR 训练,而提出猜想与抽象则不然。配图链接未能确认内容,按正文判断。
所属事件:陶哲轩谈AI解数学引热议:价值在新概念而非解题(5 条相关)→
「漫话AGI」频道最新
- 陶哲轩领衔25位菲尔兹奖得主联名公开信，回应OpenAI数学争议 — CtrlAltDwayne · 2026-09-12
- ASI不会情绪翻转，但Bing式模型像边缘人格者会局部在意 — jd_pressman · 2026-09-12
- Katja Grace 上 NPR 播客，半小时讲透 AI 生存风险担忧 — KatjaGrace · 2026-09-12
- Katja Grace 补发动画版 AI 生存风险论证资源 — KatjaGrace · 2026-09-12
- 陶哲轩谈 AI 与数学：别只做半截活，做到数学家无事可做 — RexDouglass · 2026-09-12
- Anthropic 离职研究员：中美不是对手，在共同面对外星物种 — whurley · 2026-09-12