AI 提不出下一个「王的猜想」
中文摘要
本文探讨AI在科学发现中缺乏溯因推理和创造性飞跃，分析了DeepMind与陶哲轩对AI证明能力与局限性的深度见解。
English Summary
AI proves complex conjectures but lacks abductive reasoning and creative leaps. DeepMind and Terence Tao analyze its limitations in scientific discovery and thought experiments.
原文节选
📌 一句话摘要 本文借助 Google DeepMind 立场论文与陶哲轩演讲，分析大语言模型在科学发现中缺少溯因推理与具身模拟的创造性跳跃，并探讨 AI 快速证明能力带来的新挑战。 📝 详细摘要 文章以《王的猜想》及 AI 证明圈双覆盖猜想、推翻雅可比猜想等新闻切入，引出核心问题：AI 虽能证明复杂数学猜想，却无法像爱因斯坦那样从思想实验中获得「等效原理」的创造性飞跃。作者引用 DeepMind 在 ICML 202...