跳到正文

公司与模型

Google / Gemini 最新动态

Google 与 DeepMind 的 Gemini 模型、Veo 视频生成、前沿研究与各条产品线的 AI 更新。

6 条精选近 30 天 6 条共收录 13 条

更新

Google / Gemini的精选

今天11月11日周三第 1–6 条
11月10日周二
  1. Google DeepMind85

    Google DeepMind 推出 AlphaProof Code,用 AI 智能体形式化验证 Signal 协议代码

    Google DeepMind 发布 AlphaProof Code,一个由多个 LLM 智能体组成的形式化验证框架,用 AI 智能体对 Signal 协议实际运行的代码做数学证明,验证其关键安全属性。

    推荐理由:DeepMind 用多智能体框架对 Signal 协议实际代码做形式化验证,四周完成过去需数年的工作,并开源验证产物。

11月6日周五
11月4日周三
10月29日周四
10月28日周三
  1. Google DeepMind82

    Google DeepMind 发布世界模型 Genie 4

    Google DeepMind 发布世界模型 Genie 4,可实时生成带原生音频的交互式模拟世界,并以研究预览形式向可信测试者开放。Genie 4 支持用自然语言实时修改天气、镜头和场景元素,能模拟空气动力学、碰撞等物理场景以及人物动作与对话。

    推荐理由:官方说明了 Genie 4 的原生音频、实时可控与 Gemini 协同推理,读者可据此判断世界模型当前的能力边界。