David Deutsch 断言：证明已不再是数学进步的有效代理
francoisfleuret · x · 2026-10-15
物理学家 David Deutsch 转发并回应 3Blue1Brown 关于「最后一个 AI 无法解决的 IMO 问题」的视频，表示完全同意：几千年来，「证明」一直是衡量数学进步的有用代理指标，但如今已经不再是。他进一步反驳 3Blue1Brown 的期待，认为数学进步本身永远不可能有一个可形式化的判据——这是对 AI 冲击数学前沿的重量级哲学判断。
「漫话AGI」频道最新
- gabriel1：企业 token 支出可达 2 万亿美元，是当前 50 倍 — gabriel1 · 2026-10-15
- 安全研究者 Irving：现在停下来探索，将是壮丽的黄金时代 — geoffreyirving · 2026-10-15
- 前英国AI安全研究院首席科学家：超级智能致全人类灭绝概率约五成 — geoffreyirving · 2026-10-15
- 前置训练靠互联网公地，后训练数据公地还不存在 — dlwh · 2026-10-15
- tszzl:agentic 自动研究让机制可解释性真正开始「看清」模型内部 — tszzl · 2026-10-15
- 文科生20分钟用AI逆向出联机网页版CS，代码壁垒论崩塌 — FuSheng_0306 · 2026-10-15