AlphaProof Nexus 解出 9 个未解 Erdős 问题

先了解这件事

Google DeepMind 在 Science 发表研究称，其系统 AlphaProof Nexus 独立解决了 353 个开放 Erdős 问题中的 9 个，其中 2 个已悬置 56 年。这些结果通过了同行评审。

Erdős 问题是数学家 Paul Erdős 提出并留下悬赏的一批开放问题，此前长期无人给出解答。此次被解决的数量为 9 个，占该问题集合 353 个中的一小部分。