数学家 Daniel Litt：AI 擅长算题，但造不出新理论
stuffyokodraws · x · 2026-09-03
多伦多大学数学家 Daniel Litt 与 a16z 的 Lisha Li 对谈 AI 对数学的影响，核心观点：
- 模型擅长的是比头条宣传窄得多的一块数学：长时间 grinding 计算、从海量论文中提取技术思路、把已知技巧用得比几乎所有人都好。
- 它们不会做的事是「构建理论」：无法长期持有一种模糊的哲学直觉并把它精确化——而这正是 Litt 说的数学家日常工作的主体。
- 访谈还谈到数学家如何从 AI 证明中「拆零件」用于攻克其他问题，以及为什么一千个 AI 数学家可能本质上是同一个数学家。
结论：AI 是强大的计算与检索工具，但数学理论创造仍是人类独有的技能。
所属事件:数学家 Daniel Litt 谈 AI：擅长计算苦力，缺理论直觉(6 条相关)→
「模型」频道最新
- Meta Muse Spark 1.3 免费上架 OpenCode — ramagetime · 2026-09-03
- DeepLoop 论文让循环 Transformer 可稳定扩展,并传前沿模型为 48 层循环两次 — StartupYou · 2026-09-03
- 爆料称 OpenAI 隐藏大模型 Bel 年底登场，Astra 仍在 Agent-1 阶段 — haider1 · 2026-09-03
- Reddit 用户实测 Gemini 3.8 Flash:花更多功夫,结果却差不多 — Correct_Tomato1871 · 2026-09-03
- 2x3090 跑 Qwen3.8-Flash-Next:expert cache 把解码从 17 提到 25-29 t/s — Extension-Bid-639 · 2026-09-03
- IBM 发布 Granite 4.2 开源模型:可本地运行、易微调、主打 Agent 场景 — krvarshney · 2026-09-03