Google DeepMind 数学系统登上 Science：攻克两道悬置 56 年的埃尔德什猜想

Google DeepMind 的 AlphaProof Nexus 系统登上 Science 主刊，成功给出了 9 项埃尔德什问题与 44 项整数序列猜想的严格数学证明，其中包括两道悬置 56 年的埃尔德什第 12 号子问题。