7月17日·谷歌DeepMind推出全新MoR架构，Transformer迎来挑战者

7月17日·周四  AI工具和资源推荐

谷歌DeepMind推出全新MoR架构，Transformer迎来挑战者

谷歌DeepMind联合KAIST等机构发布了Mixture-of-Recursions（MoR）架构，这一全新架构在推理速度和内存效率上全面超越传统Transformer。MoR通过递归混合的方式，让模型推理速度提升2倍，KV缓存内存减半，训练FLOP减少。在相同训练预算下，MoR模型展现出更低的困惑度和更高的小样本准确率。该架构通过小型路由器为每个token打分，仅让高分token继续循环，同时采用共享块设计，减少了模型的层数和计算成本。MoR的出现，为大语言模型（LLM）的发展带来了新的思路和方向，有望重塑LLM的性能边界。来源：微信公众号【新智元】

全球最强开源定理证明器Goedel-Prover-V2发布

由普林斯顿、清华、英伟达等八大顶尖机构联合开发的Goedel-Prover-V2定理证明器正式发布。该模型仅用8B参数就击败了671B的DeepSeek-Prover，再次夺得数学PutnamBench冠军。Goedel-Prover-V2采用了“专家迭代与强化学习”框架，并融入了分层式数据合成、验证器引导的自我修正和模型平均三大创新技术。它在多个基准测试中表现优异，展现出强大的定理证明能力。该模型的发布，标志着AI在自动形式化证明生成领域取得了重大突破。来源：微信公众号【新智元】

Anthropic夺回被挖走的核心编程大将

Anthropic在两周内成功夺回了被AI编程应用Cursor开发商Anysphere挖走的两位核心编程大将Boris Cherny和Cat Wu。这一反转表明Anthropic在人才竞争中重新占据了优势。同时，Anthropic透露公司盈利能力正在增强，毛利率有望达到70%。尽管面临云服务商的分成压力，Anthropic的编程助手Claude Code市场表现强劲，周下载量暴增6倍，贡献了超过2亿美元的年化收入。这一系列动态显示了Anthropic在AI领域的强劲竞争力和发展潜力。来源：微信公众号【机器之心】

亚马逊云科技推出Agent落地的“金铲子”

亚马逊云科技在纽约峰会上发布了一套完整的Agent AI方案，包括Amazon Bedrock AgentCore和Strands Agents V1.0等工具。AgentCore通过七项核心服务，支持企业级Agent应用的构建和部署，提供了低延迟无服务器环境、会话和长期记忆管理等功能。Strands Agents V1.0则简化了多Agent系统的开发，支持MCP和A2A协议，提升了多Agent协作的效率。此外，亚马逊云科技还升级了Amazon Bedrock，支持更多顶尖大模型厂商，为Agent应用提供了强大的底座。来源：微信公众号【机器之心】

深谋科技发布新一代人形机器人核心技术

深谋科技在2025世界人工智能大会上展示了其新一代人形机器人核心技术，包括基于SAW声表面波的多物理量智能感知系统“OmniSense”、脑电驱动的“MindMover”、压电式六维力传感器“弹起”以及6D姿态视觉伺服系统。这些技术覆盖了环境感知、体表监测、运动控制、意念控制和高精视觉等多个领域，为人形机器人带来了更强大的感知和控制能力。深谋科技的全栈自研技术架构，旨在构建真正为人类服务的具身智能系统，推动人形机器人从“跑跑跳跳”向深度适配人类需求的转变。来源：微信公众号【量子位】