DeepMind AlphaProof Nexus登Science：攻破9道埃尔德什猜想

📋总体概括

Google DeepMind在《Science》发表新成果，其AlphaProof Nexus系统基于Gemini 3.1 Pro底座，借助Lean形式化语言自主推演，解决了数十道公开数学难题：攻破9道埃尔德什猜想（其中两道悬置56年），并证明OEIS数据库中的44个猜想。该成果通过了严格的同行评审，标志着AI数学证明能力从演示性突破进入可验证、可发表的科研工具行列。