谷歌Deepmind的AlphaProof Nexus仅花几百美元就解决了几十年未解的数学难题
谷歌Deepmind的AlphaProof Nexus系统自主解决了九个开放的爱尔迪什问题，包括两个困扰数学家56年的难题，每个问题的推理成本仅需几百美元。与OpenAI的自然语言方法不同，该系统使用Lean编译器自动验证每一步证明。不过，整体成功率仅为2.5%。
文章情报
工程师进阶
要点
- AlphaProof Nexus自主解决了九个开放的爱尔迪什问题，其中两个已存在56年。
- 每个问题的推理成本仅为几百美元。
- 使用Lean编译器自动验证证明，而非自然语言处理。
- 整体成功率只有2.5%。
为什么重要
这条新闻值得关注，因为AlphaProof Nexus自主解决了九个开放的爱尔迪什问题，其中两个已存在56年。
技术影响
可能影响模型选型、推理成本、产品能力和评测基准。
谷歌Deepmind的AlphaProof Nexus系统在数学推理领域取得了突破性进展。该系统自主解决了九个开放的爱尔迪什问题，其中包括两个困扰数学界长达56年的难题。每个问题的推理成本仅需几百美元，展示了大语言模型在数学证明中的高效性。
与OpenAI采用的自然语言方法不同，AlphaProof Nexus利用Lean编译器进行证明验证，每一步推理都经过自动检查，避免了自然语言中可能出现的歧义。然而，尽管在某些问题上表现出色，系统的整体成功率仅为2.5%，表明在复杂数学问题上的应用仍面临挑战。
这一成果源自Deepmind对人工智能在数学领域应用的持续探索，标志着AI在解决高难度、开放式数学问题上的潜力。