ICM 2026 圆桌热议：AI 已能证定理，数学家还剩什么

在费城举办的国际数学家大会（ICM 2026）上，Quanta Magazine 录制了特辑《AI 时代数学为何而存在》。主持人 Janna Levin 与 Steven Strogatz 邀请多位数学家展开圆桌讨论：随着 AI 已能证明定理，数学家们开始反思这门学科的价值所在——究竟看重数学的什么，以及人类数学在 AI 时代的定位。

2026-09-03 ~ 2026-09-04 · 2 条相关