DeepMind AlphaProof Nexus 解数十道数学开放题并过同行评审

Google DeepMind 的 AlphaProof Nexus 系统解决了数十道开放数学问题，其中包括九道 Erdős 问题，有两道已悬而未决达 56 年。相关研究成果以论文形式发表于《Science》，并在发表前经过正式同行评审。报道将其与 OpenAI 因把 AI 生成的数学证明直接发布到 GitHub、未经同行评审而引发抵制的做法形成对照，视之为在 AI 科研规范上的立场差异。