LLM 时代前就预言 AI 数学的人：David McAllester 被重新提起
_onionesque · x · 2026-10-11
在关于 AI 与数学的讨论中，作者 onionesque 提到，早在 LLM 时代之前就大量谈论 AI 对数学影响的人是 David McAllester，并称赞他对这一前景持积极正面的愿景。随后补充：那是 2012-14 年间的事，McAllester 后来转向了依赖类型理论与数学基础研究。一段关于 AI 数学早期预言者的行业轶事。
所属事件:AI 数学前瞻者 David McAllester 被重新提起(2 条相关)→
「漫话AGI」频道最新
- 26 模型 228 任务:METR 时间视界曲线 2-30 分钟段近乎平坦 — lulzxdxdxd · 2026-10-11
- 一年半前被嘲 AI 软件是 slop，如今或重新定义好软件 — kevinnbass · 2026-10-11
- 复杂科学家 MelMitchell：「超级智能」还不是科学概念 — khademinori · 2026-10-11
- 「AI 审查只是第一步」，作者警告设备监控滑坡三部曲 — PierceLilholt · 2026-10-11
- 数学家 Togelius 发问:为何评论区总劝从业者接受被 AI 淘汰 — kchonyc · 2026-10-11
- 前 Google CEO Schmidt 警告：5 年内 AI 或发展出人类看不懂的语言 — 2C_ornot2C · 2026-10-11