谷歌Deepmind的AlphaProof Nexus仅花几百美元就解决了几十年未解的数学难题

谷歌Deepmind的AlphaProof Nexus系统自主解决了九个开放的爱尔迪什问题，包括两个困扰数学家56年的难题，每个问题的推理成本仅需几百美元。与OpenAI的自然语言方法不同，该系统使用Lean编译器自动验证每一步证明。不过，整体成功率仅为2.5%。