新智元· ASI启示录·· 12 小时前精选AI 评分58
谷歌DeepMind AlphaProof Nexus登上Science，证明9项埃尔德什问题
56年没解开的题，AI全解了！谷歌DeepMind新成果登上Science主刊
AI 导读
谷歌DeepMind的AlphaProof Nexus在Science发表论文，证明了9项埃尔德什问题和44项OEIS整数序列猜想，其中两道悬置56年的第12号问题子问获得完整证明。
推荐理由
文章拆解了AI证明埃尔德什问题的具体构造思路与对照实验，可了解通用大模型加证明工具的研究级解题能力边界。
来源：新智元 · mp.weixin.qq.com