DeepMind 称 Gemini 智能体 4 周完成 Signal 加密协议数学验证
Polymarket · x · 2026-11-11
Polymarket 快讯:Google DeepMind 宣布其 Gemini 智能体仅用 4 周时间对 Signal 的加密协议完成了「数学验证」。
若属实,这是 AI 智能体在形式化验证/密码学分析方向的重要标志性进展,信息来自 Polymarket 官方账号快讯。
所属事件:DeepMind 用 AlphaProof Code 首次机器码级数学验证 Signal 协议(26 条相关)→
「模型」频道最新
- Gemini 4 Carbon 实测:105 个真实 bug 得分 57.3,成本仅竞品四分之一 — DynamicWebPaige · 2026-11-11
- LMArena 负责人谈评测：以「能否帮人完成真实工作」为核心指标 — MattPerault · 2026-11-11
- Runway Praxis-1 机器人任务速度比 GPT-6 快 15.6 倍、成本低 51 倍 — runwayml · 2026-11-11
- Praxis-1 以 46.2% 成功率登顶 RoboLab-120，领先 π0.5 与 GR00T N1.6 — runwayml · 2026-11-11
- Runway 开源 Praxis-1:视频预训练变机器人真机控制 — runwayml · 2026-11-11
- DeepMind 发布 AlphaGenome 2:识别基因突变效率翻倍 — GoogleDeepMind · 2026-11-11