#ai-for-math

The Decoder·5月25日 18:41 UTC

AlphaProof Nexus 以低成本攻克开放数学难题

据报道，Google DeepMind 的 AlphaProof Nexus 通过生成 Lean 证明步骤并进行形式化验证，解决了 353 个开放的 Erdős 问题中的 9 个，同时还证明了其他一些猜想。研究称，每个问题的推理成本只有几百美元，其中两个 Erdős 问题已经悬而未决 56 年。