AlphaProof Nexus 攻克 9 个 Erdős 未解数学问题，含悬置 56 年难题

OmniTools 10月12日消息，据《Science》发表的新研究，Google DeepMind 推出的 AlphaProof Nexus 系统独立解决了 353 个开放 Erdős 数学问题中的 9 个，其中 2 个问题已悬置长达 56 年。

该成果已通过同行评审，标志着 AI 在形式化数学证明领域取得重要进展。AlphaProof Nexus 是 Google DeepMind 面向数学推理优化的新型 AI 系统，其验证过程依托形式化证明框架。