公众号 · 新智元·· 1 小时前精选AI 评分78
谷歌DeepMind AlphaProof Nexus 成果登上 Science，证明9项埃尔德什问题
56年没解开的题，AI全解了！谷歌DeepMind新成果登上Science主刊
AI 导读
谷歌DeepMind的AlphaProof Nexus成果登上Science，为9项埃尔德什问题和OEIS中44项整数序列猜想给出证明，其中两道悬了56年的埃尔德什问题第12号子问题被解决。
选题角度
原文给出两道悬了56年的埃尔德什问题证明思路和对照测试结果，适合做AI与数学家接力改证明的案例讲解。
来源：公众号 · 新智元 · mp.weixin.qq.com