【数学难题被批量破解，DeepMind这次走通了同行评审】| 简文 Google DeepMind在《Science》发表新成果，其AlphaProof Nexus系统自主解决了数十道公开数学难题，不仅攻破9道埃尔德什猜想（其中两道已悬置56年），还一举证明了OEIS数据库里的44个猜想。 该系统以Gemini 3.1 Pro为底座，借助Lean形式化语言反复推演与纠错。在数学界对AI推演灌水充满疑虑的当下，他们没有将草稿直接丢在开源社区，而是老老实实经受住了严格的学术同行评审。