alphaproof
-
谷歌 AlphaProof Nexus 攻克两道悬置 56 年数学难题，AI 数学推理再突破
核心看点 谷歌 DeepMind 最新推出 AlphaProof Nexus 框架，结合大语言模型生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，其中包括 2 个悬而未决长达 56 年的数学难题。这标志着 AI 在严格数学推理领域取得重大进展。 详细解析 AlphaProof Nexus 是什么？ AlphaProof Nexus 是…