DeepMind 研究员长文:AI 时代数学研究的意义与人类数学家角色
AndrewLampinen · x · 2026-09-21
Andrew Lampinen 发长文反思 AI 在数学上的快速进展——OpenAI 声称解决了千禧年大奖难题(距 2025 年调查中「2053 年前 50% 概率解决」的预测仅一年半)。他指出数学家们的回应(从菲尔兹奖得主批评到反批评)实际上都在纠缠同一组问题:
- 数学更关乎结果、理解,还是发现过程?
- 若 AI 构造证明严格更强,人类数学家的角色是什么?
- 如何处理难以被轻松理解的复杂证明(人类证明里 abc 猜想已有先例)?
- 如何分享部分成果而不被 AI 资源最多者抢发?
- 若大部分工作由 AI 完成,署名与荣誉如何分配?
作者认为这些议题将蔓延到其他领域,情绪上是悲欣交集。
所属事件:DeepMind 研究员长文反思：AI 数学进展与人类数学家的意义(2 条相关)→
「漫话AGI」频道最新
- Pedro Domingos 调侃「Dario 定律」：所需算力也在指数增长 — pmddomingos · 2026-11-12
- Jaron Lanier 纽约时报撰文：硅谷正用 AI 末日叙事搞砸自己 — databoydg · 2026-11-12
- AI agent 用得越多，瓶颈越是你自己：人类信息处理仅 10 bits/s — soumitrashukla9 · 2026-11-12
- Matt Pocock:能把业务讲清楚,AI 时代你就完成了半套自动化软件 — mattpocockuk · 2026-11-12
- 研究者提议:AI 进展评估应报告效率增益指标,而非只看最终跑分 — eliebakouch · 2026-11-12
- Bittensor 子网 NOVA 用「先做出药物资产」证明 AI 制药平台实力 — markjeffrey · 2026-11-12