ICM 数学大会讨论 AI for Mathematics

burny_tech · x · 2026-07-26

ICM 数学大会把 AI for Mathematics 请上了主舞台

这条帖子配图显示，在国际数学家大会（ICM）上举行了一场 “AI for Mathematics” 圆桌讨论，由 Emily Riehl 主持，嘉宾包括：

• Matthew Ballard
• Terrence Tao
• Geordie Williamson
• 来自 Google DeepMind 的 Bogdan Georgiev
• Javier Gómez-Serrano

发帖者认为这场讨论非常精彩，并特别感谢主持人把话题引向了最重要、最相关的问题。它传递出的信号是：AI for math 已经成为顶级数学会议上的正式议题。

原文链接 →

「漫话AGI」频道最新

• Karpathy：AGI时代前，孩子80%教育应聚焦数理与计算机 — FinanceYF5 · 2026-07-26
• “Labs” 不是中性称呼，而是 AI 公司的叙事包装 — BecauseCulture · 2026-07-26
• 围绕开源 AGI 的争论再起：安全来自更多开放还是更少控制 — max_paperclips · 2026-07-26
• 他认为 AI 圈里开源最适合第三名及以后选手 — beffjezos · 2026-07-26
• X 帖主张 AGI 必须开源，称安全来自更多人参与 — WolframRvnwlf · 2026-07-26
• 黄仁勋称模型蒸馏就是学习，更聪明的 AI 也更安全 — FinanceYF5 · 2026-07-26

更多「漫话AGI」频道 AI 资讯 →