ICM 2026 圆桌:AI 已能证定理,数学家还剩什么
JosephJacks_ · x · 2026-09-04
Quanta Magazine 在费城国际数学家大会(ICM 2026)录制特辑《AI 时代数学为何而存在》,主持人为 Janna Levin 与 Steven Strogatz,嘉宾包括 IAS 的 Akshay Venkatesh、斯坦福/美国数学会主席 Ravi Vakil 与罗格斯大学的 Alex Kontorovich。
背景与讨论要点:
- AI 系统已能产出证明、发现远隔领域之间的联系,并偶有解决困扰数学家数十年的问题,近几个月进展显著加快。
- 三位数学家讨论:AI 生成的证明到底证明了什么、AI 辅助前沿研究会带来与失去什么、对下一代数学家意味着什么。
- 对话深入到更本质的问题:数学家究竟珍视做数学的什么——当机器在解题上追平甚至超越人类时,创造性部分的价值何在。
这是顶级数学家对 AI 冲击学科基础的罕见集体表态。
所属事件:国际数学家大会圆桌热议 AI 时代数学的意义(3 条相关)→
「漫话AGI」频道最新
- Nature 刊文称 AI 无意识,Jeff Sebo 撰文回应引激辩 — anilkseth · 2026-10-21
- Polymarket:OpenAI 年内全面暂停训练的概率仅 7% — Polymarket · 2026-10-21
- Luiza Jarovsky:AI Agent 正在击穿 Gmail 垃圾邮件过滤 — LuizaJarovsky · 2026-10-21
- Daniel Lemire：AI 量产论文正在戳穿学术界的「教授庞氏骗局」 — lemire · 2026-10-21
- 学者吐槽:大学封杀爬虫下载论文,终身阅读量不足答辩委员会人数 — generativist · 2026-10-21
- 伯克利获 Schmidt Sciences 资助：用 AI 破解抹香鲸与虎鲸语言 — begusgasper · 2026-10-21