AlphaProof Nexus 攻克 9 个未解 Erdős 问题并经同行评审

Google DeepMind 的 AlphaProof Nexus 独立解决了 353 个开放 Erdős 问题中的 9 个，其中 2 个已悬置 56 年。相关研究登上 Science，成果通过同行评审。