DeepMind 发布 AlphaProof Code，AI 形式化证明能力再进一步

ilreb · hn · 2026-11-10

Google DeepMind 在官方博客发布 AlphaProof Code。AlphaProof 系列此前以国际数学奥林匹克竞赛银牌水平的表现闻名，此次将形式化推理与代码能力结合，是 DeepMind 在数学证明与代码生成方向的最新官方进展。

原文链接 →

「模型」频道最新

• Inkling 2 Small 采纳 Kimi 注意力残差机制,作者拆解实现细节 — akbirthko · 2026-11-13
• 爆料称 OpenAI Astra 6 或因对齐问题难产,上线遥遥无期 — haider1 · 2026-11-13
• Thinky Machines 开源 Inkling 2 Small,Apache 2.0 权重已上线 — LiTianleli · 2026-11-13
• Claude Fable 5.2 系统提示词遭泄露：95 万字符、128 个工具全曝光 — 新智元 · 2026-11-13
• LatentSpace 首测 Naive-N0.5-Flash：编程反超 DeepSeek，峰值 2100 Token/s — 量子位 · 2026-11-13
• Artificial Analysis 给 Qwen3.8-Flash-Next 打 29 分,介于两大竞品之间 — lionellee77 · 2026-11-13

更多「模型」频道 AI 资讯 →