AlphaProof Nexus 解决数十个开放数学题并通过同行评审
aziz4ai · x · 2026-10-12
The Decoder 报道了 Google DeepMind 的 AlphaProof Nexus 成果:基于 Gemini 3.1 Pro 的系统解决了数十个开放数学问题,包括 9 个 Erdős 问题(两个悬置 56 年)、44 个 OEIS 猜想,全部经 Lean 形式化校验并发表于《Science》。报道还提及 OpenAI 论文倾倒引发的抵制争议。
所属事件:DeepMind AlphaProof Nexus 攻克 9 个 Erdős 难题登 Science(7 条相关)→
「研究」频道最新
- UW 团队展示 RL 训练机器人：与行为克隆效果天壤之别 — chris_j_paxton · 2026-10-12
- 西湖大学团队量化扩散模型生成顺序:RAE 空间呈抽象到具体层级 — sedielem · 2026-10-12
- EmbeddingGemma 2 上架 Hugging Face,众多 AI for Science 项目免费升级 — HildeKuehne · 2026-10-12
- Pedro Domingos：模型正在“吞掉”工程 harness，Musk 称 FSD 同款路径 — DanielKhashabi · 2026-10-12
- 数据空间迭代替代流离散化，少步生成新范式登 arXiv — bdsqlsz · 2026-10-12
- Quanta 深文追问:注意力机制凭什么是智能的全部? — calabi_and_yau · 2026-10-12