陶哲轩最新演讲：AI 擅长解题，但尚无证据表明能构建新理论

GaryMarcus · x · 2026-08-04

Gary Marcus 推荐了陶哲轩关于 AI 与数学的最新演讲。陶哲轩在演讲中指出：我们正面临“证明消化不良”的风险，并非所有生成的证明都是有用的；此外，数学研究并非单一维度的任务，AI 可能在某些特定环节表现出色，但无法覆盖全部需求。

Marcus 结合这一观点评价了 Google 最新发布的 AI 数学模型 Astra（注：此处应为 DeepMind 的 AlphaProof/AlphaGeometry 2 等数学模型的口语化代称或误称），认为它虽然在解决部分数学问题上能力不错，但目前没有任何证据表明这类模型能够像人类数学家一样建立全新的理论。