DeepMind 发布 AlphaProof Nexus 论文:已能证明研究级数学结果
pushmeet · x · 2026-10-09
Google DeepMind 的 Pushmeet Kohli 介绍其证明智能体资源体系：从 2024 年 AlphaProof 在国际数学奥林匹克摘银，到如今基于 LLM 的 AlphaProof Nexus 智能体。奥胡斯大学的合作者 Gergely Bérczi 已用 AlphaProof Nexus 证明了研究级别的数学结果，技术论文发表于 Science。
所属事件:DeepMind 证明智能体 AlphaProof Nexus 登上 Science(4 条相关)→
「研究」频道最新
- 测试时搜索用于抗体设计，成功率从16%跃升至78% — anshulkundaje · 2026-10-09
- aimotive 自动驾驶数据集训练标签靠「事后诸葛」追踪器生成 — RexDouglass · 2026-10-09
- Yale 研究发现 LLM 内部表征存在符号结构 — tallinzen · 2026-10-09
- COLM 2026 离散扩散 meetup:10 月 8 日 4-5 点 Grand Ballroom — yuntiandeng · 2026-10-09
- Astra 机器人控制实测:Johns Hopkins 深度评测其运动与控制理解 — jmin__cho · 2026-10-09
- Tavily 智能体可见性报告遭质疑：提问带域名才 93% 实时检索 — edwin · 2026-10-09