量子位· 关注前沿科技·· 1 小时前精选AI 评分80
DeepMind 的 AlphaProof Nexus 破解 56 年数学难题，论文登上 Science
AI破解56年数学难题登Science！还是DeepMind讲究，成果交给同行评审
AI 导读
谷歌 DeepMind 的 AlphaProof Nexus 论文登上《Science》，这套由 Gemini 驱动的数学证明 Agent 框架解决了 9 道埃尔德什开放问题，其中两道悬置 56 年，另证明 OEIS 的 44 个猜想、一道搁置 15 年的代数几何难题，并改进凸优化中锚定梯度下降法的理论边界。
推荐理由
DeepMind 用 Gemini 驱动的证明 Agent 解出多道悬置数十年的埃尔德什问题，并公开 Lean 证明代码供同行复核。
来源：量子位 · mp.weixin.qq.com