AI破解56年数学难题登Science，还是DeepMind讲究，成果交给同行评审

DeepMind的AlphaProof Nexus解决了9道悬而未决的埃尔德什开放问题，其中包括存在了56年的难题。该系统通过Gemini 3.1 Pro生成证明，并由Lean形式化验证工具进行检查。此外，它还解决了OEIS整数序列百科中的44个猜想及其他数学领域的问题。这次成果标志着AI在数学研究中的突破。