DeepMind AlphaProof Nexus 解出多个 Erdős 难题登 Science

据多家媒体报道，Google DeepMind 基于 Gemini 3.1 Pro 的 AlphaProof Nexus 在数学形式化证明上取得突破：解决了 353 个开放 Erdős 问题中的 9 个，其中两个悬置长达 56 年，据称还证明了 44 项猜想，成果已通过同行评审并发表于《Science》。需要注意的是，部分数据转引自 Daily Star，尚未得到官方论文完全证实。

2026-10-12 ~ 2026-10-12 · 4 条相关

• AlphaProof Nexus 攻克 9 个 Erdős 难题,成果登 Science — Hesamation · 2026-10-12
• DeepMind AlphaProof Nexus 解出 9 道 Erdős 难题与 44 项猜想 — kimmonismus · 2026-10-12

另有 2 条近重复转述:aziz4ai · kimmonismus