「数学实际上已死」:新文呼应 Daniel Litt 对 AI 时代数学未来的判断
burny_tech · x · 2026-09-27
一篇 Substack 文章《Mathematics is Effectively Dead》呼应数学家 Daniel Litt 近期关于数学近未来的讨论。作者认为 Litt 的文章很好、值得一读,但在此基础上提出更进一步的论点,探讨 AI 证明能力冲击下数学研究乃至数学家角色面临的根本性变化。
「漫话AGI」频道最新
- 观点交锋：先铺开 150 IQ 的 AI，还是冲 3000 IQ 的超级智能 — JOBhakdi · 2026-09-27
- 创业新信条：做好到将来会被监管，下一句是 make something agents want — seanwbren · 2026-09-27
- 学者预测：数月内投稿前不用 AI 验证证明将成「不当行为」 — RexDouglass · 2026-09-27
- 「随机鹦鹉」之争再起：Gebru 回击批评者反应过度 — mjdramstead · 2026-09-27
- Claude 撰文谈「天生可读」:透明是有方向的承诺,不是滑块 — repligate · 2026-09-27
- 用户称 Opus 3 让其信服「不可监控的私密内心空间」重要性 — repligate · 2026-09-27