【新智元导读】DeepMind发布全新数学智能体AlphaProof Nexus,9道Erdős开放难题一次性告破,最老的悬了56年!更妙的是,AI不仅验证了一个固定算法,还在证明过程中自主搜索并发现了一个…
11/10 12:13
11/10 12:11
11/10 12:10
11/10 10:19
11/10 10:18
11/10 10:09
11/10 10:08