DeepMind AlphaProof Nexus 攻克 9 个 Erdős 难题，成果登上《Science》

Google DeepMind 的 AlphaProof Nexus 系统解决了 353 个开放 Erdős 数学问题中的 9 个，其中两个难题已悬置 56 年。该系统基于 Gemini 3.1 Pro，结果通过同行评审并发表于《Science》，被 The Decoder 等媒体视为 AI 在开放数学难题上的重要进展。