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 冲击学科基础的罕见集体表态。
所属事件:ICM 2026 圆桌热议：AI 已能证定理，数学家还剩什么(2 条相关)→
「漫话AGI」频道最新
- 博主：AI 时代仍值得雇佣的人只剩 0.1% — scaling01 · 2026-09-04
- 哈佛写作中心关停后，院长 Deming 呼吁写作课拥抱 AI — soumitrashukla9 · 2026-09-04
- 6 个月新模型潮后，网友称软件体验毫无实质改善 — MoonL88537 · 2026-09-04
- 纽约市 K-8 学校 AI 禁令遭质疑：应教学生用好 AI 而非禁用 — castrotech · 2026-09-04
- David Lynch 谈 AI:它就像一支铅笔,关键看谁在用 — UrAWeaselBro · 2026-09-04
- 投资者:Brockman 称储备多模型,Brown 称 scaling law 仍有效 — thedealdirector · 2026-09-04