GoogleDeepMind

AI早报：2025年3月13日 - 人工智能最新进展与应用 1. Google DeepMind 发布 Gemini Robotics 模型：机器人技术迎来新突破？ 1.1 Gemini Roboti...

OpenAI全球政策负责人克里斯·莱汉周二向记者透露，OpenAI已经与竞争对手Anthropic和Google DeepMind就人工智能安全问题进行了数周讨论。相关消息最早由彭博社报道。 三家公司...

Gemini 4 Argon究竟是什么？Google这次发布了什么？ Google正式揭开了下一代AI前沿模型的神秘面纱，将其命名为Gemini 4 Argon。根据Google DeepMind高级...

当AI开始涉足数学证明，我们如何确定它不是在“一本正经地胡说八道”？ProofForge给出了一个硬核答案：AI生成的证明必须在Lean 4中通过编译，否则就不算数。这个项目通过多智能体流水线，将复杂...