DeepMind AlphaProof Nexus 论文正式登上《科学》杂志

DeepMind 研究员 Swarat Chaudhuri 宣布，AlphaProof Nexus 论文在 5 月发布预印本后通过同行评审，正式发表于《科学》（Science）杂志。该系统已被用于帮助数学家推进研究工作，标志着 AI 辅助数学证明领域的又一重要里程碑。

2026-10-13 ~ 2026-10-13 · 2 条相关

• DeepMind AlphaProof Nexus 论文正式登上《科学》杂志 — swarat · 2026-10-13

另有 1 条近重复转述:swarat