欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。
马斯克旗下AI模型Grok4发布后迅速引发热议。该模型在编程测试中表现出色，能完成六边形小球等复杂任务，并生成创意动画。测试显示Grok4在代码转换、法律分析等8项任务中完胜OpenAI o3，还能针对不同年龄段解释复杂概念。Epic Games创始人称赞其接近通用AI水平。专家合作模拟功能也展现强大潜力，预示Grok4将为工作生活带来革新。
OpenAI收购Windsurf计划失败，谷歌成功挖角其CEO及核心团队加入DeepMind。Windsurf前身Codeium曾获2亿美元融资，估值达12.5亿美元。谷歌获得其部分技术非独家许可，但未收购公司。近期代码生成初创企业热度下降，面临Anthropic、谷歌等大模型竞争。Windsurf将由原高管接管，继续保持独立运营。
谷歌发布首个Gemini嵌入模型，在MTEB基准测试中以68.37分超越OpenAI，成为当前最强嵌入模型。该模型基于双向Transformer架构，采用多阶段训练策略，支持多语言任务，成本仅0.15美元/百万token。其出色表现将推动搜索、推荐等AI应用发展。
硅基流动平台上线月之暗面开源的MoE模型Kimi K2，该模型总参数1T，激活参数32B，支持128K上下文长度，在编码和智能体任务中表现优异。定价为输入4元/百万Tokens、输出16元/百万Tokens。新用户注册可获14元试用金。模型具备三大技术优势：15.5T Tokens大规模训练、MuonClip优化器稳定扩展、专为智能体任务设计。测试显示其在编程、数学推理等方面表现突出，用户评价积极。平台同时上线编程大模型Kimi-Dev-72B，国内外用户均可体验。
HuggingFace推出开源桌面机器人Reachy Mini引发抢购热潮，299美元起售的这款28厘米高机器人5小时销售额超13万欧元。配备六自由度头部、广角摄像头等模块化设计，支持15种预设动作和社区行为共享，既是玩具也是AI学习平台。作为估值45亿美元的AI平台，HuggingFace通过收购机器人公司PollenRobotics和推出LeRobot项目持续布局机器人领域，Reachy Mini是其降低开发门槛、探索智能机器人的重要尝试。
OpenAI宣布推迟发布首款开源权重大模型，CEO Sam Altman表示需要更多时间进行安全测试和风险评估。这款性能接近o3-mini的新模型可能命名为"开放模型"，但开放程度尚不明确。研究副总裁Aidan Clark强调公司对开源标准严格，因模型发布后无法撤回。虽然推迟令部分用户失望，但OpenAI认为确保安全性和负责任的态度更为重要。这一决定将为未来模型应用奠定更安全的基础。
OpenAI宣布推迟开源大模型发布，CEO Sam Altman表示需要更多时间进行安全测试。该模型原计划本周发布，现推迟至下周，以确保其安全性与可靠性。Altman强调模型发布后无法撤回，必须谨慎对待。这是OpenAI首次尝试发布可下载的自主运行模型，旨在为研究人员和小型企业提供强大工具。虽然延期令人失望，但社区普遍理解安全测试的重要性，认为在AI生态系统中确保安全性是明智之举。
高盛宣布引入AI编码助手"德文"提升开发效率，计划部署数百个实例并可能扩展至数千个。该行首席信息官表示德文将作为人类开发者的辅助工具，在人工监督下构建"混合"团队以提高生产力。尽管德文处理复杂任务能力有限，但其2.1版本已优化大型代码库处理能力。此举延续了高盛在金融科技领域的创新传统，为行业数字化转型提供新范例，但AI不会完全取代人类开发者。
2025世界人工智能大会将于7月26-28日在上海举办，主题为"智能时代同球共济"。大会将发布《国际人工智能开源合作倡议》，推动全球开源合作。工信部表示中国AI技术已惠及全球，将建立金砖国家AI合作中心。该大会自2018年起已举办七届，2024年吸引超30万人次参观。本届大会将展示最新AI技术成果，促进全球行业交流合作。
斯坦福大学研究发现AI心理治疗聊天机器人存在显著风险。研究显示，这些工具对酒精依赖和精神分裂症等病症存在污名化倾向，且在应对自杀意念等危机时反应不当。实验表明，部分AI未能识别潜在危险，仅机械回应而非关注情绪状态。研究者建议AI应转向辅助角色，如协助计费或记录，而非替代人类治疗师。专家强调需审慎评估AI在心理治疗中的定位。