谷歌 DeepMind 一口气解决 9 道埃尔德什问题

2026 年 5 月，数学界接连迎来 AI 带来的重大突破。继 OpenAI 推翻 Erdős 80 年猜想后，Google DeepMind 发布的全新 AI 数学智能体 AlphaProof Nexus，成功解决了 9 道悬而未决数十年的 Erdős 开放问题，其中最古老的问题已悬置 56 年，且每道题的算力成本仅几百美元。该智能体的证明经 Lean 编译器形式化验证，确保推理无误。此外，它还在 OEIS 猜想、代数几何、凸优化、图论、量子光学等多个数学分支取得实质性突破。