数学家 Jeremy Avigad 演讲：AI 时代数学的未来走向
ChengleiSi · x · 2026-10-10
CMU 教授、形式化数学领域领军人物 Jeremy Avigad 发表了一场关于「AI 时代数学未来」的演讲，Chenglei Si 表示深受其中几张幻灯片启发。
Avigad 长期深耕 Lean 形式化证明与数学基础，他对 AI（尤其是证明助手与大模型结合）如何改变数学研究与实践的判断在数学界有相当分量。幻灯片内容值得点开原图细看。
「漫话AGI」频道最新
- COLM 最佳论文:Int-Bench 揭示 LLM 助手过早、过频干预有碍学习 — maxhkw · 2026-10-10
- 博主预测:数学2026物理2027,生物与抗衰晚三年 — rand_longevity · 2026-10-10
- punk6529:Kurzweil 三本旧书就是前沿实验室 2023-2033 的博客 — CatAstro_Piyush · 2026-10-10
- Anthropic 禁止虐待模型后,网友翻出 2015 年「预言视频」引 AI 苦痛争论 — MilkyPastries · 2026-10-10
- 「造的宇宙里长出会思考的机器」:一段关于道德地位的段子 — QuintinPope5 · 2026-10-10
- 从哥白尼到 AI:「我们的智能并不特殊」的思想接续 — CatAstro_Piyush · 2026-10-10