AI日报：AI编程工具TRAE2.0版发布；Mistral推出音频模型Voxtral；月之暗面回应Kimi K2 API速度慢 AI日报 7月16日?AIbase1、字节跳动 AI 编程工具 TRAE2.0即将发布 增加语音交互功能 2、Mistral重磅推出Voxtral：开源AI音频模型的新时代来临！ 3、月之暗面 Kimi K2 API 速度慢，正全力优化中！ 4、昆仑万维Skywork发布分层多智能体协作框架AgentOrchestra 5、OpenAI 前 CTO的AI公司Thinking Machines Lab 获得 20 亿美元融资，估值达 120 亿美元 6、Kimi-2 已上线 LiveBench AI：超越 GPT-4.1，开源 AI 新王者诞生 7、TRAE 推出 Kimi-K2模型服务，国际版支持 Grok-4（Beta） 8、字节跳动Seed最新强化学习配方POLARIS开源 4B 模型数学推理接近 235B 表现 9、ima 网页版全新上线，助你轻松访问知识库 1.字节跳动 AI 编程工具 TRAE2.0即将发布 增加语音交互功能 字节跳动旗下的 AI 编程工具 TRAE 即将推出2.0版本，新增语音交互功能，进一步提升开发者的编程效率和体验。 亮点提要： ?? TRAE 2.0 将带来更强大的编码功能，提升开发效率。 ?? 新增语音交互功能，为开发者提供更便捷的编程体验。 ?? TRAE 基于 VS Code 内核，支持主流大模型，提供类 Copilot 的辅助体验。 2.Mistral重磅推出Voxtral：开源AI音频模型的新时代来临！ Mistral推出了其首个开源音频模型Voxtral，旨在打破大型企业封闭系统的垄断，为开发者提供一个更灵活且经济的替代方案。Voxtral具备强大的语音理解能力，支持多语言，并提供了多种参数版本以适应不同的部署需求。 亮点提要： ? Voxtral是首个能够在实际应用中提供‘真正可用的语音智能’的开源模型。 ?? 支持多种语言，包括英语、西班牙语、法语等，满足全球化需求。 ?? 提供不同参数版本，如Voxtral Small和Voxtral Mini，适合不同场景使用。 3.月之暗面 Kimi K2 API 速度慢，正全力优化中！ 月之暗面回应了Kimi K2 API速度缓慢的问题，指出主要原因是访问量激增和模型体积庞大。公司正在积极优化系统并加大硬件投入，以提升服务效率。同时，Kimi K2是完全开源的，用户可以选择其他模型供应商接入使用。 亮点提要： ?? 访问量激增导致Kimi K2 API速度缓慢 ??? 月之暗面正在优化系统并增加硬件投入 ?? Kimi K2完全开源，用户可选择其他模型供应商 4.昆仑万维Skywork发布分层多智能体协作框架AgentOrchestra 昆仑万维Skywork与南洋理工大学合作推出AgentOrchestra框架，该框架模仿交响乐团的协作模式，让不同专长的智能体协同工作，以解决复杂任务。其分层架构、异步协程技术和跨模态信息整合能力使其在性能上表现出色，并在多个基准测试中取得优异成绩。 亮点提要： ?? AgentOrchestra通过分层架构实现智能体协作，提升复杂任务处理能力。 ?? 异步协程技术提高系统响应速度和吞吐量，支持多智能体高并发协作。 ?? 在权威基准测试中表现优异，多项指标超越商业和开源系统。 详情入口： ?? https://arxiv.org/pdf/2506.12508 5.OpenAI 前 CTO的AI公司Thinking Machines Lab 获得 20 亿美元融资，估值达 120 亿美元 Thinking Machines Lab 由 OpenAI 前首席技术官米拉?穆拉蒂创办，成功获得 20 亿美元种子轮融资，估值达到 120 亿美元。这标志着其成为硅谷历史上最大的种子轮融资之一，并引发对 AI 行业未来竞争格局的关注。 亮点提要： ?? Thinking Machines Lab 获得 20 亿美元融资，估值达到 120 亿美元。 ?? 公司首款产品将在未来几个月发布，将包括重要的开源项目。 ? Thinking Machines Lab 被视为有潜力威胁到领先 AI 公司的新兴创业公司。 6.Kimi-2 已上线 LiveBench AI：超越 GPT-4.1，开源 AI 新王者诞生 Kimi-2的上线标志着开源AI社区的技术实力，其高性能、低成本的特性为行业树立了新标杆。 亮点提要： ?? Kimi-2是一款由开源团队开发的混合专家模型（MoE），拥有32B活跃参数和1T总参数，性能表现亮眼。 ?? Kimi-2的API定价低至每百万tokens0.15美元，显著降低了使用成本，同时具备开源特性。 ?? Kimi-2在代码生成能力上超越了Claude Opus4和GPT-4.1，成为非推理模型中的佼佼者，位列全球第三。 7.TRAE 推出 Kimi-K2模型服务，国际版支持 Grok-4（Beta） TRAE.ai 推出了自定义模型服务商 Kimi，并正式上线 Kimi-K2 模型。该模型基于混合专家架构，在代码生成和数学推理方面表现出色。同时，国际版新增了超级模型 Grok-4（Beta），为开发者提供了更丰富的选择。 亮点提要： ?? Kimi-K2 是一款基于混合专家架构的基础模型，具备卓越的代码能力和通用代理任务处理能力。 ?? TRAE 国际版新增了超级模型 Grok-4（Beta），为开发者提供更强大的工具支持。 ?? 用户可通过简单步骤接入 Kimi-K2，满足多样化的开发需求。 详情入口： ?? https://www.trae.ai 8.字节跳动Seed最新强化学习配方POLARIS开源 4B 模型数学推理接近 235B 表现 字节跳动Seed团队联合香港大学与复旦大学推出了创新的强化学习训练方法——POLARIS，显著提升了小模型的数学推理能力。实验结果显示，采用POLARIS训练的40亿参数开源模型Qwen3-4B在数学测试中表现优异，性能超越部分更大规模的闭源模型。 亮点提要： ?? POLARIS通过定制化训练数据和超参数设置，提升小模型的数学推理能力。 ?? 引入动态调整训练数据难度分布和实时剔除过易样本的策略，确保训练有效性。 ?? 多阶段RL训练方法帮助模型逐步适应复杂任务，提升训练稳定性和效果。 详情入口： ?? https://github.com/ChenxinAn-fdu/POLARIS Hugging Face 9.ima 网页版全新上线，助你轻松访问知识库 ima 网页版的推出为用户提供了更加便捷的使用体验，解决了因系统不兼容或无法下载软件而带来的困扰。通过浏览器即可访问，随时随地查阅知识库和提问，同时支持划线记笔记、小窗问答等功能，提升了工作效率。 亮点提要： ?? 免下载: ima 网页版上线，让用户不再受限于电脑系统和软件下载问题。 ?? 随时随地: 只需访问指定网址，便可随时查阅知识库和提问。 ?? 多样功能: 划线记笔记、小窗问答等轻便功能，提升工作学习效率。 ↓点击阅读原文，进AIbase官网. 阅读原文