Gowers 谈 Leiden 声明：AI 正逼数学重审证明与确定性
burny_tech · x · 2026-07-28
- Timothy Gowers 回顾了在莱顿举行的“数学与 AI”研讨会，以及由此形成、目前已获 3000 多人签署的 Leiden Declaration。
- 他明确表示自己没有签署这份声明，并非因为反对其核心关切，而是因为其中有些判断和建议下得过于笃定，令他感到不够确定。
- 文章重点讨论：AI 正在迫使数学界重新审视“证明”“确定性”“理解”这些传统价值，作者认为这是数学研究必须正面面对的变化。
所属事件:菲尔兹奖得主 Gowers 探讨 AI 对数学的冲击与重构(5 条相关)→
「漫话AGI」频道最新
- 陶哲轩说 AI 会多出证明，但数学不会更快 — xiaohu · 2026-07-28
- 数学与理论物理猜想成 AI 新 AlphaGo，范式跃迁仍难突破 — burny_tech · 2026-07-28
- 企业要的是 AI 直接干活，并拿出证据 — boringmarketer · 2026-07-28
- 新文章称 AI 将走向专用模型生态，而非单一巨型 agent — sull · 2026-07-28
- 机器人无需超越人类，只需填补空班次即可胜出 — VraserX · 2026-07-28
- 截图称 AI 五年没解决任何日常问题 — HomerDoakQuarlesIII · 2026-07-28