公司与模型
阿里千问 Qwen 系列的开源发布与迭代：从旗舰模型到端侧小模型的全谱系动态。
4 条精选近 30 天 4 条共收录 12 条
库克在上海接受采访时确认，苹果智能首批功能将于 10 月底推出测试版，包含写作工具、照片消除和实时翻译，但不包含全新 Siri AI。爱范儿从消息人士获悉，阿里千问将作为 AI 能力集成至 Apple 智能，为 iOS、iPadOS、macOS 和 visionOS 中国用户提供文本与图像理解、内容生成等能力，双方还将联合训练面向中国市场的专属模型。
推荐理由：库克确认国行 Apple 智能测试版时间与首批功能，并披露与阿里千问的模型合作方案，可据此判断国行 AI 的落地节奏。
上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同完成三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的Lean形式化验证。攻关中书生-S2完成7批接续推演，问题图从15个节点扩展到389个，输出上千页推导；形式化验证约5天、峰值100个智能体并行、产出约55万行Lean代码。相关论文已发布在arXiv，形式化代码在GitHub公开。
推荐理由：读者可看到人机协同攻关数学难题的完整流程，以及形式化验证如何为AI产出的证明提供严格检查。
阿里 Qwen 团队发布 Qwen-Audio-3.1，包含五款覆盖语音识别（ASR）、文本转语音（TTS）和实时交互的模型。
推荐理由：阿里一次放出五款语音模型并大幅降价，读者可据此判断语音能力的成本与可用性变化。
Qwen 发布首个面向 AI 智能体的多模态模型 Qwen3.8-Omni-Flash，可同时处理音频与视频并自主调用工具，上下文窗口达一百万 token。
推荐理由：原文给出 Qwen3.8-Omni-Flash 与 Gemini Flash 的多模态基准对比和逐项价格，读者可据此判断成本差异。