谷歌DeepMind一口气解决9道埃尔德什问题
📝 摘要
2026 年 5 月，数学界接连迎来 AI 带来的重大突破。继 OpenAI 推翻 Erdős 80 年猜想后，Google DeepMind 发布的全新 AI 数学智能体 AlphaProof Nexus，成功解决了 9 道悬而未决数十年的 Erdős 开放问题，其中最古老的问题已悬置 56 年，且每道题的算力成本仅几百美元。该智能体的证明经 Lean 编译器形式化验证，确保推理无误。此外，它还在 OEIS 猜想、代数几何、凸优化、图论、量子光学等多个数学分支取得实质性突破。
✍️ 编辑摘要
这条资讯的核心议题是“谷歌DeepMind一口气解决9道埃尔德什问题”。
从当前聚合摘要看，最值得先关注的是：2026 年 5 月，数学界接连迎来 AI 带来的重大突破；继 OpenAI 推翻 Erdős 80 年猜想后，Google DeepMind 发布的全新 AI 数学智能体 AlphaProof Nexus，成功解决了 9 道悬而未决数十年的 Erdős 开放问题，其中最古老的问题已悬置 56 年，且每道题的算力成本仅几百美元。
目前已有 3 个来源跟进，说明该话题已经具备持续传播信号。
如果你只看一遍，这条新闻与后续判断最相关的点是：该话题已被 3 个来源提及，说明它不只是单点噪声，更可能是正在扩散的行业事件。
📌 关键信息
- 2026 年 5 月，数学界接连迎来 AI 带来的重大突破
- 继 OpenAI 推翻 Erdős 80 年猜想后，Google DeepMind 发布的全新 AI 数学智能体 AlphaProof Nexus，成功解决了 9 道悬而未决数十年的 Erdős 开放问题，其中最古老的问题已悬置 56 年，且每道题的算力成本仅几百美元
- 该智能体的证明经 Lean 编译器形式化验证，确保推理无误
🔎 来源对比
- 当前聚合到 2 条来源记录，覆盖 2 个站点。
- 已覆盖来源：智源社区/量子位、格隆汇。
- 不同来源的标题表述存在差异，适合交叉查看以确认各自强调的重点。