Gowers 谈 Leiden 声明：AI 正逼数学重审证明与确定性
burny_tech · x · 2026-07-28
- Timothy Gowers 回顾了在莱顿举行的“数学与 AI”研讨会，以及由此形成、目前已获 3000 多人签署的 Leiden Declaration。
- 他明确表示自己没有签署这份声明，并非因为反对其核心关切，而是因为其中有些判断和建议下得过于笃定，令他感到不够确定。
- 文章重点讨论：AI 正在迫使数学界重新审视“证明”“确定性”“理解”这些传统价值，作者认为这是数学研究必须正面面对的变化。
「漫话AGI」频道最新
- Miles Cranmer 演讲：如何在 AI 时代避免「大脑萎缩」 — Scobleizer · 2026-10-16
- AI 产品表层缺陷恰好掩盖了其根本设计缺陷 — lescarr · 2026-10-16
- IMF 官员:全球金融市场韧性超预期,很大程度归功于 AI 乐观情绪 — kernelangus420 · 2026-10-16
- 只看内容不实验,AI 能反推出人脑结构吗? — rickasaurus · 2026-10-16
- Vals RSI 指数外推：Google 模型或于 2027 年 10 月达 130% 自研水平 — HaydnBelfield · 2026-10-16
- Gowers 总结：我没有 p(doom)，但也不敢说它接近零 — michael_nielsen · 2026-10-16