AI 数学早期布道者是谁?作者力推 David McAllester
_onionesque · x · 2026-10-11
作者评论 AI 圈对「AI 在数学研究中作用」的讨论,认为真正早就关注这一话题的人是 David McAllester——在 LLM 时代之前就大量谈论 AI 对数学的影响,而且对 AI 参与数学持积极乐观的愿景,与当下许多「无灵魂」的末日论者形成对比。
所属事件:AI 数学前瞻者 David McAllester 被重新提起(2 条相关)→
「漫话AGI」频道最新
- Chris Albon 吐槽 Kevin Roose《AGI Chronicles》把新书当过时古董 — chrisalbon · 2026-10-11
- 25岁人群的极端分化：接近前沿实验室者的数据中介生意 vs 找不到工作的大多数 — dhruv2038 · 2026-10-11
- Domingos:Neuralink 的杀手级应用是人脑为 AI 提供算力 — pmddomingos · 2026-10-11
- Karpathy 式玄谈:集体潜意识是 AI 无法蒸馏的生物智能护城河 — beffjezos · 2026-10-11
- 26 模型 228 任务:METR 时间视界曲线 2-30 分钟段近乎平坦 — lulzxdxdxd · 2026-10-11
- 一年半前被嘲 AI 软件是 slop，如今或重新定义好软件 — kevinnbass · 2026-10-11