AlphaProof Nexus 解出9道Erdős难题
先了解这件事
2026年10月12日，AGI Hunt 与 The Decoder 报道称，Google DeepMind 的 AlphaProof Nexus 解出多道未解数学难题，成果通过正式同行评审并发表于《Science》。早先报道称该系统解决了数十道开放数学问题，其中含九道 Erdős 问题，两道已悬置56年；The Decoder 后续报道进一步称，九道出自353道 Erdős 问题；当晚 AGI Hunt 再报道，明确为353道中的9道，并首次披露该系统基于 Gemini 3.1 Pro。AGI Hunt 另将此事与 OpenAI 把 AI 生成证明直接发布到 GitHub、未经同行评审而引发抵制形成对照，视为 AI 科研规范上的立场差异。各报道均未披露解题的具体验证方式与评审细节。
AI 根据报道生成 · 刚刚更新
报道时间线
沿着报道，了解事件的不同侧面。
- AGI Hunt精选DeepMind AlphaProof Nexus 攻克 9 个 Erdős 难题，成果登上《Science》
Google DeepMind 的 AlphaProof Nexus 系统解决了 353 个开放 Erdős 数学问题中的 9 个，其中两个难题已悬置 56 年。该系统基于 Gemini 3.1 Pro，结果通过同行评审并发表于《Science》，被 The Decoder 等媒体视为 AI 在开放数学难题上的重要进展。
- AGI Hunt精选DeepMind AlphaProof Nexus 解数十道数学开放题并过同行评审
Google DeepMind 的 AlphaProof Nexus 系统解决了数十道开放数学问题，其中包括九道 Erdős 问题，有两道已悬而未决达 56 年。相关研究成果以论文形式发表于《Science》，并在发表前经过正式同行评审。报道将其与 OpenAI 因把 AI 生成的数学证明直接发布到 GitHub、未经同行评审而引发抵制的做法形成对照，视之为在 AI 科研规范上的立场差异。
- The Decoder：AI NewsGoogle DeepMind 的 AlphaProof Nexus 解出多道未解数学难题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 自主解出多道未解数学难题，成果发表在 Science 上，其中包括 353 道 Erdős 问题里的 9 道，有 2 道已悬置 56 年。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。