AlphaProof Nexus

DeepMind AlphaProof Nexus 解决多个开放数学问题

Google DeepMind 的 AlphaProof Nexus 解决了数十个开放数学问题，包括9个 Erdős 问题，其中2个已悬而未决56年。研究成果经过同行评审并发表在 Science 上，与 OpenAI 未经评审的做法形成对比。