Science 新研究显示，Google DeepMind 的 AlphaProof Nexus 独立解决了 353 个开放 Erdős 问题中的 9 个，其中 2 个悬置 56 年。
论文
·The Decoder：AI News（RSS）
AlphaProof Nexus 攻克 9 个未解 Erdős 问题并经同行评审
— Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed