欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。
中兴与字节跳动合作推出“豆包手机”，瞄准AI手机未来。双方基于“开放即创新”理念，共同布局AI赛道。中兴表示，这只是起点，已收到多家大模型厂商合作邀约，正构建多元AI生态。
上海发布全国首个规划资源领域基础大模型“云宇星空”，以6000亿参数融合遥感、三维、图纸与政务数据，打造“AI城市规划师”，推动城市治理向科学化、精细化、智能化发展。
欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解：https://app.aibase.com/zh1、字节跳动发布SeedProver1.5:推动形式化数学推理的新进展字节跳动Seed团队推出的SeedProver1.5在形式化数学推理领域取得重要突破，其通过Agentic强化学习显著提升了推理能力和效率。该功能强调隐私保护，并仅对部分用户开放。
阿里巴巴开源Fun-Audio-Chat-8B语音大模型，主打超低延迟与自然交互，性能媲美GPT-4o Audio等闭源模型。它具备实时理解和情感感知能力，旨在成为真正的AI语音伙伴。
Jan团队发布300亿参数多模态大模型Jan-v2-VL-Max，专为长周期、高稳定性自动化任务设计，性能超越谷歌Gemini2.5Pro与DeepSeek R1。该模型重点解决多步任务中的“误差累积”和“失焦”问题，为开源智能体生态提供强大支持。
亚马逊宣布自2026年起，Alexa+将深度集成Angi等家庭服务，用户可通过自然语言对话直接预订酒店、预约美发等，无需打开App。AI作为“万能中介”，支持多轮对话与动态需求调整，加速向AI驱动消费服务平台转型。
Jan团队推出30B参数多模态模型Jan-v2-VL-Max，专注解决AI在复杂自动化任务中易中断的痛点。该模型基于Qwen3-VL-30B-A3B-Thinking，引入LoRA-based RLVR技术，旨在提升多步操作的稳定性，实现更可靠的长周期任务执行。
知名开源项目Lima发布2.0版本，战略重心转向AI领域。新版本为AI开发提供“沙箱”机制，通过在虚拟机内隔离运行AI编码代理，防止其直接访问主机敏感文件或执行危险操作，保障开发安全。
面壁智能获数亿元融资，将用于端侧高效大模型研发与生态建设，巩固其在边缘智能领域的领先地位。作为国内端侧大模型先行者，公司已形成从理论到产品的技术闭环，核心产品MiniCPM“面壁小”系列表现突出。
国产大模型MiniMax开源M2.1，以100亿参数稀疏架构在多语言编程、代码生成与工具调用上实现突破，在权威基准测试中超越谷歌、Anthropic等闭源旗舰模型，标志着开源编码模型性能进入新阶段。