AITNT · AI头条（网页）·2026-10-19 12:46· 15 日前厳選AI スコア77

Google DeepMind 数学系统登上 Science：攻克两道悬置 56 年的埃尔德什猜想

56年没解开的题，AI全解了！谷歌DeepMind新成果登上Science主刊

未翻訳のため中国語で表示しています。

AI ガイド

Google DeepMind 的 AlphaProof Nexus 系统登上 Science 主刊，成功给出了 9 项埃尔德什问题与 44 项整数序列猜想的严格数学证明，其中包括两道悬置 56 年的埃尔德什第 12 号子问题。

推薦理由

材料详细拆解了通用大模型与形式化证明工具结合攻克前沿数学难题的工程架构与验证对照路径。