Fortnow:一年前预言的数学界 AI 冲击正加速成真
fortnow · x · 2026-09-09
计算复杂性学者 Lance Fortnow 重提其 2025 年 1 月博文《Our Days Are Numbered》,称其中判断正以超预期速度兑现。
博文源自西雅图联合数学年会的 AI 议题,核心观点:
- 会议分「Math for AI」与「AI for Math」两线,后者引发数学家最多焦虑
- 数学审稿困境:长而专的证明少有人能细查,AI 有望先用 Lean 等证明助手完成验证,审稿人转而评判选题与价值,甚至未来未经验证的证明不能投稿
- DeepMind 的 AlphaProof 与 OpenAI 的 O3 已在竞赛题上突飞猛进,但尚未真正参与提出新定理思想——作者判断这一步终将到来,才是真正令数学家不安之处
「漫话AGI」频道最新
- a16z 合伙人:AI 不会造永久失业底层,agent 仍需人类爬坡 — lennysan · 2026-09-09
- Guodzh:智能革命已至,但这是一场非零和博弈,胜负远未定 — Guodzh · 2026-09-09
- OpenAI 宣称 AI 攻克 Navier-Stokes 千禧年难题:万级 Agent 88 小时出证明 — PanParagraf · 2026-09-09
- Quintin Pope：网络犯罪用 AI 比失控实验室模型威胁更大 — QuintinPope5 · 2026-09-09
- Quintin Pope 反对 AI-2027 式叙事：历史难以被编成预测故事 — QuintinPope5 · 2026-09-09
- 艺术家感慨:AI 带来发现,我们却看不懂答案就照用 — sterlingcrispin · 2026-09-09