谷歌 Deepmind 的 AlphaProof Nexus 解决了数十个开放数学问题，并且实际上得到了同行评审

根据《科学》杂志的一项研究，谷歌 Deepmind 的 AlphaProof Nexus 解决了数十个开放数学问题，其中包括九个 Erdős 问题，其中两个问题已经 56 年没有解决。该出版物发布之际，OpenAI 因在未经同行评审的情况下在 GitHub 上倾销人工智能证明而面临抵制。 Deepmind 在发布之前对其结果进行了审查。 Google Deepmind 的 AlphaProof Nexus 解决了数十个开放数学问题并且实际上得到了同行评审的文章首先出现在 The Decoder 上。