攻克数学难题
-
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证，在 353 个开放的 Erd?s 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题。
谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证，在 353 个开放的 Erd?s 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题。
