数学家 Daniel Litt 认输后谈 AI：能解题，但自动化不了数学研究
ziv_ravid · x · 2026-10-21
多伦多大学数学家 Daniel Litt 在 2025 年 3 月打赌 AI 到 2030 年也无法独立产出《Annals》级别的论文，如今已认输。在模型开始解决著名开放问题的当下，他接受访谈谈了下一步的判断。
他的核心观点：AI 并不会「解决」数学——即使是简单问题也可以变得任意难，目前模型推进前沿的方式和人类一样，是一点点来、且往往建立在近期人类工作之上；而且一条没人能看懂的证明对他来说价值有限。
关于自动化程度，他说：「我 90% 的工作目前还感觉不到被自动化的临近，但我们用来招人、发经费的那部分，确实已经接近了。」
「漫话AGI」频道最新
- 黄仁勋当面劝德国总理：产业不繁荣就无物可监管 — rohanpaul_ai · 2026-10-21
- Ben Goertzel提出超级智能「基础驱力」通用框架：看它改什么、护什么 — bengoertzel · 2026-10-21
- 「火把还是火焰」:AI 安全研究者争论 AI 时代道德范式转移 — danfaggella · 2026-10-21
- AI 安全研究者 Manheim 访谈存档：能力错配而非意识觉醒才是真风险 — davidmanheim · 2026-10-21
- 硅谷是「人才股市」：估值有高有低，长期主义者终被定价 — karinanguyen · 2026-10-21
- Haber-Bosch 养活全球一半人口，业界呼吁造 AI 机器去寻找同类化学反应 — shyamalanadkat · 2026-10-21