欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。
上海市网信办推动生成式AI创新与规范，依据相关管理办法，有序开展服务备案。对于通过API等方式调用已备案模型、提供具有舆论属性或社会动员能力的服务，相关部门也进行登记。目前，上海市新增9款完成登记的生成式人工智能服务。
字节跳动Seed团队推出形式化数学推理模型Seed Prover1.5，通过大规模Agentic强化学习显著提升推理能力与效率。该模型在2025年国际数学奥林匹克竞赛中，三天内成功解决六题中的四道，并完成一道题的部分解答，展现强大性能。
亚马逊宣布自2026年起，Alexa+将深度集成Angi等家庭服务，用户可通过自然语言对话直接预订酒店、预约美发等，无需打开App。AI作为“万能中介”，支持多轮对话与动态需求调整，加速向AI驱动消费服务平台转型。
知乎发布2025年度AI产品榜单，通过用户反馈与专业评估，为市场趋势提供权威参考。榜单中，字节跳动豆包获“知友年度爱用”榜首，展现其市场领先地位。
Jan团队推出30B参数多模态模型Jan-v2-VL-Max，专注解决AI在复杂自动化任务中易中断的痛点。该模型基于Qwen3-VL-30B-A3B-Thinking，引入LoRA-based RLVR技术，旨在提升多步操作的稳定性，实现更可靠的长周期任务执行。
阿里巴巴计划采购数万颗AMD MI308 AI芯片，以满足其人工智能领域的需求。MI308是一款专为中国市场设计的合规芯片，已获美国出口许可，与英伟达H20同为合规产品。此举凸显阿里对AI技术的重视，但MI308在性价比和安全性方面与H20存在差异。
知乎发布2025年度AI产品榜单，盘点行业进展。豆包、DeepSeek、Gemini等国内外产品入选。在“知友年度爱用”榜中，豆包夺冠，DeepSeek和通义千问位列其后。海外产品前三名为Gemini、ChatGPT和Claude。Cursor、即梦和可灵等工具也获认可。
知名开源项目Lima发布2.0版本，战略重心转向AI领域。新版本为AI开发提供“沙箱”机制，通过在虚拟机内隔离运行AI编码代理，防止其直接访问主机敏感文件或执行危险操作，保障开发安全。
面壁智能获数亿元融资，将用于端侧高效大模型研发与生态建设，巩固其在边缘智能领域的领先地位。作为国内端侧大模型先行者，公司已形成从理论到产品的技术闭环，核心产品MiniCPM“面壁小”系列表现突出。
国产大模型MiniMax开源M2.1，以100亿参数稀疏架构在多语言编程、代码生成与工具调用上实现突破，在权威基准测试中超越谷歌、Anthropic等闭源旗舰模型，标志着开源编码模型性能进入新阶段。