AITNT · AI头条（网页）·· 16 days agoSelectedAI score77
Google DeepMind 数学系统登上 Science：攻克两道悬置 56 年的埃尔德什猜想
56年没解开的题，AI全解了！谷歌DeepMind新成果登上Science主刊
Not yet translated; shown in Chinese.
AI guide
Google DeepMind 的 AlphaProof Nexus 系统登上 Science 主刊，成功给出了 9 项埃尔德什问题与 44 项整数序列猜想的严格数学证明，其中包括两道悬置 56 年的埃尔德什第 12 号子问题。
Why it matters
材料详细拆解了通用大模型与形式化证明工具结合攻克前沿数学难题的工程架构与验证对照路径。
Source:AITNT · AI头条（网页） · aitntnews.com