转述陶哲轩观点:证明定理不难,提出猜想与抽象才是数学核心
akbirthko · x · 2026-09-12
帖主转述并解读陶哲轩关于 AI 与数学的讨论要点:"解决定理 X"并非数学的唯一目标,历史上困难问题的价值在于迫使人创造新概念、新方法、新抽象和新研究方向。帖主自称对 AGI 极度乐观,认为 AI 最终没有理由不能做理论、猜想、品味与综合,但存在中期担忧:用过 LLM 的人都知道能力高度参差——定理证明容易用 RLVR 训练,而提出猜想与抽象则不然。配图链接未能确认内容,按正文判断。
所属事件:陶哲轩被指不满AI解题遭误读，数学价值之争引爆X(18 条相关)→
「漫话AGI」频道最新
- DeepMind 首发智能经济学研究：AGI 冲击经济靠协同而非单模型变强 — Scobleizer · 2026-10-31
- 从 1769 年陶器厂到 AI:一篇长文追问 9-5 工作制会不会消亡 — Konstantine · 2026-10-31
- LifeArchitect 10 月刊:中国拟限制 AI 技术出口,Kimi K3.1 Pro 与 Genie 4 在列 — dralandthompson · 2026-10-31
- 中国公司用「AI 复活」服务安抚失亲者，30 秒音视频即可生成数字分身 — ArtificialOther · 2026-10-31
- AI 时代何为「科学发现」？ICLR 2027 提案 SCOPE 研讨会聚焦争议 — mariyaivasileva · 2026-10-31
- ThursdAI 播客辩论:Opus 7 将至,「跑分变好」还重要吗 — thursdai_pod · 2026-10-31