11/11
DeepMind 称完成 Signal 协议代码级安全证明
Google DeepMind 宣布,使用 AlphaProof Code 框架验证 Signal 协议的密码系统,并称 AI 首次在代码层面对该协议的安全性给出数学证明。
11月12日星期四AI 前沿,先闻其声。
“DeepMind”的搜索结果清除搜索
Google DeepMind 宣布,使用 AlphaProof Code 框架验证 Signal 协议的密码系统,并称 AI 首次在代码层面对该协议的安全性给出数学证明。
Google DeepMind 发布 AlphaGenome 2,预测遗传变异对数百种人类细胞类型的影响。团队称,模型在 TenK10K 比较中识别出 30% 的因果变异,前代为 16%,现通过 API 向非商业研究开放。
Google DeepMind 与 Artificial Analysis 联合介绍 Multimodal Knowledge Agent 基准,关注 Agent 处理视觉复杂专业任务的能力。