AlphaProof Nexus 登上 Science：自主求证数学问题
swarat · x · 2026-10-14
Science 杂志报道，DeepMind 推出新 AI 框架 AlphaProof Nexus，可自主处理特定数学问题：自行寻找证明，并通过验证机制确保所得解在逻辑上严密可靠。该研究同期配发了 Science 视角评论。
所属事件:DeepMind AlphaProof Nexus 正式登上《科学》杂志(3 条相关)→
「研究」频道最新
- Dyna-2 用百万小时人类视频训练世界-动作模型，45 分钟示教学会新任务 — Latent Space · 2026-10-14
- 英国 AISI 开源 Transect:把 agent 评测记录变成交互时间线 — Miles_Brundage · 2026-10-14
- 称 Gemini 4 Argon 数小时设计出 5 种全新酶并均验证催化活性 — Polymarket · 2026-10-14
- Chronos Policy:让机器人策略显式建模物理时间而非序列位置 — SongShuran · 2026-10-14
- Prompteina：用自然语言直接做全原子蛋白质设计，首获 GM2A 新型结合剂 — ChengleiSi · 2026-10-14
- Skild S1 陌生任务每步成功率 66% 远超基线 9%，家用机器人仍需约 10 年 — ingliguori · 2026-10-14