DeepMind AlphaProof Nexus 论文正式登上《科学》杂志
swarat · x · 2026-10-13
DeepMind 研究员 Swarat Chaudhuri 宣布，AlphaProof Nexus 论文在 5 月预印本后通过同行评审，正式发表于《科学》（Science）杂志。论文展示了 AI 辅助形式化方法与 Formal Conjectures 等开放数据集在研究数学中的价值，并已实际帮助 Gergely Berczi、Mario Krenn 等数学家的研究工作。作者表示这更加坚定了他的判断：形式化证明助手是 AI-for-math 不可或缺的信任底座，该领域的实质进展需要与数学界真正协作。
所属事件:DeepMind AlphaProof Nexus 论文正式登上《科学》杂志(2 条相关)→
「研究」频道最新
- 经验主义席卷数学：AI 证明冲击数学家共同体认同 — manoelribeiro · 2026-10-13
- Meta FAIR 发布 h1:不用手工编排,纯 Lean 反馈循环拿下形式化定理证明 SOTA — burny_tech · 2026-10-13
- MIRAGE：前馈视觉锚定 LiDAR-IMU，实现米制位姿估计与高斯重建 — zhenjun_zhao · 2026-10-13
- Zebra3D 混合稀疏注意力让 3D 基础模型推理最高提速 7.1 倍 — zhenjun_zhao · 2026-10-13
- CompactSplat 按纹理自适应分配 3D 高斯，高斯数降至基线 1/5 — zhenjun_zhao · 2026-10-13
- 新论文用置信度感知致密化修复 3DGS-MCMC 背景欠重建 — zhenjun_zhao · 2026-10-13