谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题 … Erdős 问题（Erdős problems）是由 20 世纪最高产的匈牙利数学家保罗・埃尔德什（Paul Erdős）提出的一系列数学猜想和问题，涵盖组合数学、数论、图论和几何等领域 … 根据谷歌论文内容，AlphaProof Nexus 在 353 个开放的 Erdős 问题中解决了 9 个，其中 2 个问题已悬而未决 56 年。