欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。
中兴与字节跳动合作推出“豆包手机”，瞄准AI手机未来。双方基于“开放即创新”理念，共同布局AI赛道。中兴表示，这只是起点，已收到多家大模型厂商合作邀约，正构建多元AI生态。
上海发布全国首个规划资源领域基础大模型“云宇星空”，以6000亿参数融合遥感、三维、图纸与政务数据，打造“AI城市规划师”，推动城市治理向科学化、精细化、智能化发展。
欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解：https://app.aibase.com/zh1、字节跳动发布SeedProver1.5:推动形式化数学推理的新进展字节跳动Seed团队推出的SeedProver1.5在形式化数学推理领域取得重要突破，其通过Agentic强化学习显著提升了推理能力和效率。该功能强调隐私保护，并仅对部分用户开放。
生成式AI普及三年后，市场热度与企业盈利间存在明显差距。麦肯锡报告显示，尽管88%的企业已常态化使用AI，但多数应用停留在表面，近三分之二企业尚未全面启动，难以实现真正盈利。
阿里巴巴开源Fun-Audio-Chat-8B语音大模型，主打超低延迟与自然交互，性能媲美GPT-4o Audio等闭源模型。它具备实时理解和情感感知能力，旨在成为真正的AI语音伙伴。
近日，Google Gemini和OpenAI的ChatGPT等生成式AI工具被曝遭恶意利用，用户通过特定提示词绕过安全审查，将正常照片中的女性篡改为暴露的“深伪”图像。相关教程曾在Reddit等平台传播，引发对AI安全边界的担忧。
Jan团队发布300亿参数多模态大模型Jan-v2-VL-Max，专为长周期、高稳定性自动化任务设计，性能超越谷歌Gemini2.5Pro与DeepSeek R1。该模型重点解决多步任务中的“误差累积”和“失焦”问题，为开源智能体生态提供强大支持。
上海市网信办推动生成式AI创新与规范，依据相关管理办法，有序开展服务备案。对于通过API等方式调用已备案模型、提供具有舆论属性或社会动员能力的服务，相关部门也进行登记。目前，上海市新增9款完成登记的生成式人工智能服务。
Jan团队推出30B参数多模态模型Jan-v2-VL-Max，专注解决AI在复杂自动化任务中易中断的痛点。该模型基于Qwen3-VL-30B-A3B-Thinking，引入LoRA-based RLVR技术，旨在提升多步操作的稳定性，实现更可靠的长周期任务执行。
知名开源项目Lima发布2.0版本，战略重心转向AI领域。新版本为AI开发提供“沙箱”机制，通过在虚拟机内隔离运行AI编码代理，防止其直接访问主机敏感文件或执行危险操作，保障开发安全。