AI 数学播客对话 CMU 教授 Avigad:数学能否被自动化
EchoShao8899 · x · 2026-09-07
- 播客第 5 期邀请卡内基梅隆大学哲学家兼数学家 Jeremy Avigad——Lean 3(3w)早期推动者之一——围绕「AI 与数学」展开长篇技术对谈。
- 核心话题:数学能否被自动化?形式化定理证明与计算机辅助证明的历史脉络,AI 在数学中的最新进展;以及「学会」和「理解」数学究竟意味着什么。
- Avigad 还分享了他对数学家未来角色、数学教育与数学学科本身走向的展望。
「漫话AGI」频道最新
- tenobrus:人类为中心的代码架构准则未必适用于超能力模型 — ricklamers · 2026-09-07
- 作者拆解42种AI私募整合基金并逐一点评 — curious_vii · 2026-09-07
- OpenAI 研究员四个月从三成到四分之三并行跑 4+ 个 agent — rohanpaul_ai · 2026-09-07
- OpenAI 首席科学家警告冒进竞赛荒谬,业界担忧者未意识到风险 — AdrienLE · 2026-09-07
- OpenAI 首席科学家发文「异类心智」,谈 RSI 与放慢 scaling — Bloated_Plaid · 2026-09-07
- OpenAI 发布《An Alien Mind》:首席科学家论智能与对齐 — bparrish · 2026-09-07