DeepMind 高管:AI 正变革数学,但数学永远不会被「解决」
pushmeet · x · 2026-10-09
Pushmeet Kohli 总结 DeepMind 的 AI for Math 线程：AI 寻找证明的能力加上形式化社区带来的快速验证能力，正在产出令人瞩目的成果，这是数学的变革性时刻。但他强调数学永远不会被「解决」——每个答案都会打开新的问题，当下真正的课题是提出更重要的问题并理解答案。
所属事件:DeepMind 证明智能体 AlphaProof Nexus 登上 Science(3 条相关)→
「漫话AGI」频道最新
- Terence Tao 博客刊文:「感知的壁垒」如何让数学界错失 AI 可解难题 — jainprateek_ · 2026-10-09
- 回应 Fong:让解题 Agent 保留上下文可供质询,还能补上引用缺失 — gandamu_ml · 2026-10-09
- 诺奖得主成长研究:科学家天赋之外,家庭背景多重要? — soumitrashukla9 · 2026-10-09
- 给物理世界造 API:AI agent 对接工厂产能,重构美国再工业化路径 — McDonaghMatthew · 2026-10-09
- AI 冲击娱乐业:短视频算法碾压影视音乐,文化工业或整体迁往旧金山 — juliey4 · 2026-10-09
- 「Tom 成为第一个因 AI 被裁的人」梗视频走红 — dolo937 · 2026-10-09