DeepMind 证明智能体 AlphaProof Nexus 登上 Science

Google DeepMind 宣布证明智能体 AlphaProof Nexus 的技术论文正式发表于《Science》。该系统基于 LLM，已能证明研究级数学结果并帮助数学家产出研究成果。研究负责人 Pushmeet Kohli 回顾项目源起于形式化数学社区及 Imperial College 相关工作，并维护收录 Lean 形式化难题的开源仓库 Formal Conjectures。他表示 AI 寻找证明加上形式化社区的快速验证正在变革数学，但数学永远不会被「解决」。

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

• DeepMind 回顾 AlphaProof 源起:开源仓库 Formal Conjectures 收录 Lean 形式化难题 — pushmeet · 2026-10-09
• DeepMind 证明智能体 AlphaProof Nexus 登 Science,已助数学家出研究成果 — pushmeet · 2026-10-09
• DeepMind 高管:AI 正变革数学,但数学永远不会被「解决」 — pushmeet · 2026-10-09

另有 1 条近重复转述:pushmeet