AI接管浏览器，ChatGPT Agent正式上线！

文章主旨：

AI领域在过去一周内发布了一系列重大技术突破与行业动态，涵盖语言模型、数学定理证明、语音理解、具身智能及行业并购等多个方面，整体呈现技术加速发展的趋势。

关键要点：

• OpenAI推出ChatGPT Agent，集成语言理解、网页操控和信息整合，支持Pro用户每月400次调用。
• 普林斯顿发布开源数学定理证明模型Goedel-Prover-V2，性能超越前沿技术。
• Mistral AI发布开源语音模型Voxtral，性能与成本均碾压Whisper，并支持多语言场景。
• 智源研究院开源RoboBrain 2.0与RoboOS 2.0，提升多机器人协作能力与群体智能。
• 华人团队Cognition收购Windsurf剩余团队，整合AI IDE与企业客户资源。

内容结构：

1. OpenAI推出ChatGPT Agent

   ChatGPT Agent整合网页操控、信息整合与语言理解功能，可轻松完成复杂任务如代码编写、购物比价等；支持连接真实工作流如Gmail和GitHub，手机端也可使用。高端用户每月调用次数扩展至400次。

2. 普林斯顿发布Goedel-Prover-V2

   普林斯顿联合多家高校发布数学定理证明模型Goedel-Prover-V2，以“分层式数据合成+验证器引导自我修正+模型平均”的创新方法在多项基准中刷新记录，并开源数据与代码供研究使用。

3. Mistral开源Voxtral语音模型

   Voxtral系列语音模型支持长音频转录与语义理解，性能全面超越Whisper，同时降低成本，未来计划上线更多功能如说话人分割与情绪标记。

4. 智源发布RoboBrain 2.0与RoboOS 2.0

   智源研究院公开具身智能模型RoboBrain 2.0，支持多机器人协作，并结合RoboOS 2.0实现“云端大脑+本地小脑”架构，显著提升机器人性能与通信效率。

5. Cognition收购Windsurf团队

   华人团队Cognition迅速整合Windsurf剩余资产与员工，巩固其在AI IDE与企业客户领域的市场地位，同时推动旗下Devin智能体发展。

文章总结：

本周AI领域的技术进展覆盖语言、数学、语音、具身智能及行业整合多个维度，呈现技术创新与应用场景扩展的强劲势头，建议关注相关开源资源以参与研究或开发。

入门必看！IPD（集成产品开发）模式下，这些团队都要干啥？团队分工指南来了！

了解更多

啥都会一点的研究生

查看原文：AI接管浏览器，ChatGPT Agent正式上线！

文章来源：

啥都会一点的研究生

扫码关注公众号