Google DeepMind 的 AlphaProof Nexus 以几百美元的成本解决数十年未解的数学问题
Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
AI 导读Google DeepMind 的 AlphaProof Nexus 自主解决了 9 个开放的 Erdős 问题，其中包括两个困扰数学界 56 年的难题。其推理成本低至每个问题仅需几百美元。系统通过 Lean 编译器验证每个证明步骤，而非使用 OpenAI 的自然语言方法。当前的整体问题解决成功率为 2.5%。
来源：The Decoder：AI News · the-decoder.com