ICM 2026 现场：Venkatesh 等三位数学家对谈 AI 时代的数学
stevenstrogatz · x · 2026-09-10
Quanta Magazine 播客《The Joy of Why》在费城国际数学家大会（ICM 2026）录制的 53 分钟特辑，主题是「AI 时代的数学为了什么」。三位嘉宾：IAS 的 Akshay Venkatesh、斯坦福/美国数学会主席 Ravi Vakil、罗格斯大学的 Alex Kontorovich。讨论要点：AI 系统已能产出证明、发现遥远数学领域间的联系，并解决困扰数学家数十年的问题；近期 AI 生成证明到底证明了什么；数学前沿机器化过程中的得失；对下一代数学家意味着什么。对话深入到数学家究竟看重做数学的什么——涉及证明与理解的本质，以及「讲故事」在数学中的出人意料的的重要性。主持人 Janna Levin 与 Steven Strogatz。
「漫话AGI」频道最新
- 评论：明知是文明俄罗斯轮盘还继续干，就是厌世者 — matanSF · 2026-09-10
- 斯坦福Potts提出“token通胀”：token消耗增速或超其实际价值 — ChrisGPotts · 2026-09-10
- 学者吐槽 AI 时代学术激励：拿粗想法喂模型抢发论文竟无成本 — erikphoel · 2026-09-10
- Hinton 承认预测有误:AI 没有取代放射科医生 — HealthcareAIGuy · 2026-09-10
- AI 业内人坦言：真怕出事，愿烧光股权换 1% 存活率 — EvanHub · 2026-09-10
- Notion CEO:智能可租,上下文须自有 — ivanhzhao · 2026-09-10