《科学》刊发 DeepMind 关于 AlphaProof Nexus 智能体的论文：它自主解决了 353 个未解埃尔德什问题中的 9 个，证明了整数数列线上大全（OEIS）492 个猜想中的 44 个，所有证明都经 Lean 验证；同期，数学家 Jeremy Avigad 和 Matthew Ballard 发表评论《用于数学研究的 AI 已经到来》

由 AI 翻译，经编辑部审校

技术

数学中的 AI

来源

doi.org ↗

¶ ckdzaxmkz