AlphaProof Nexus 攻克 9 个 Erdős 难题,成果登 Science
Hesamation · x · 2026-10-12
Google DeepMind 的 AlphaProof Nexus 解决了 353 个开放 Erdős 问题中的 9 个,其中两个悬置长达 56 年,结果通过同行评审并发表于《Science》。
- 还证明了 OEIS 整数数列库中 44 个猜想,解决一个代数几何开放问题,并改进了 min-max 优化的已知界(该技术用于训练部分 AI 模型)
- 系统基于 Gemini 3.1 Pro,以形式语言 Lean 起草与修订证明,每次修改后由 Lean 校验并据报错迭代;较难子问题可调用专用证明工具 AlphaProof,但仅靠 Gemini 3.1 Pro 也能解出这 9 题
- 单个问题成本仅约数百美元
- 此事背景:OpenAI 近期将数百个 AI 证明倾倒至 GitHub 而非投给期刊,Terence Tao 领导的人类数学家协会呼吁抵制,DeepMind 选择走同行评审路线形成鲜明对比
所属事件:DeepMind AlphaProof Nexus 攻克 9 个 Erdős 难题登 Science(2 条相关)→
「漫话AGI」频道最新
- 纽约咖啡馆 22 台笔记本调查:16 人在纯手写,仅 6 人用 ChatGPT — thedealdirector · 2026-10-12
- Sandberg：论文该被当成待打补丁的软件项目来对待 — anderssandberg · 2026-10-12
- Anders Sandberg：AI 审稿将倒逼科研进入超严格时代 — anderssandberg · 2026-10-12
- 媒体艺术家发文论 AI 创造性:机器不会夺走本不属于人类的东西 — Merzmensch · 2026-10-12
- 可口可乐会自建专属 AI 吗：一场关于企业 AI 采用摩擦的争论 — binarybits · 2026-10-12
- Karpathy:全球 75% 人口没碰过 LLM,而 5000 人已在用前沿 agent 军团 — The Decoder · 2026-10-12