AI情报May 25, 2026AI情报文章Google DeepMind的AlphaProof Nexus解决了Erdős集合中的九个长期未解决的开放问题,其中一些问题56年来一直未解决,每个问题的成本仅为几百美元。该系统自主运行,标志着AI驱动数学研究的突破。Data Cube AI 编辑部2026年5月25日来源: The Decoder01来源简报Google DeepMind的AlphaProof Nexus解决了Erdős集合中的九个长期未解决的开放问题,其中一些问题56年来一直未解决,每个问题的成本仅为几百美元。该系统自主运行,标志着AI驱动数学研究的突破。02相关话题研究数学DeepMind查看本期