56年没解开的题，AI全解了！谷歌DeepMind新成果登上Science主刊
2026.10.18 · 事件 · 论文 · 论文预印本
DeepMind的AlphaProof Nexus证明9项埃尔德什问题与44项整数序列猜想，两道悬了56年的老题告破。
谷歌DeepMind的AlphaProof Nexus在Science主刊发表成果，为9项埃尔德什问题和44项整数序列猜想给出证明，其中两道悬了56年的老题被解开。系统由Gemini与证明工具多轮配合，数学家可在此基础上继续简化改进。
- AlphaProof Nexus证明9项埃尔德什问题、44项整数序列猜想
- 两道埃尔德什问题悬置56年，由1970年提出
- 陶哲轩指出证明中三项等差结构限制可删去
- 去掉进化搜索与AlphaProof的基础版也能解出9题
- Anchored GDA找到新参数设置并给出O(1/t)收敛证明
为什么值得看
看AI如何首次独立给出研究级数学证明并推动同行继续研究
适合谁关注
关注AI for Science、数学与算法研究的读者