搜索
清华团队开源以Qwen 3.8-27B为基础模型的VeriLoop E2，通过VGR外部证据门控实现可验证状态提交，并取得黎曼猜想临界线零点比例下界67.350003708785593%的严格有限维证书，但上游形式化桥接尚未完成。
Harvey联合创始人Gabe Pereyra表示，AI应用公司不必与大模型公司比拼资金和算力，可借助真实任务评测、领域专家、开源模型和外部研究团队建立持续学习能力。
因OpenAI、Anthropic闭源模型价格高昂，AT&T、Tinder等美国大企业正将越来越多AI工作负载迁移至开放权重模型以控制成本，DeepSeek、智谱等中国开放模型成为本轮企业降本红利的最大受益者。
至知创新研究院开源320B大模型IQuest-Q1，该模型在代码生成、安全漏洞挖掘等评测中表现优异，并能自主排查训练Bug，在交通调度、仓库管理、电梯调度等真实场景中展现出强大的任务解决能力。
至知创新研究院开源了采用稀疏 MoE 架构的代码与复杂任务导向大模型 IQuest-Q1，该模型总参数约 320B、激活参数仅约 15B，在代码生成、终端操作、智能体任务等多项评测中表现均衡，并展示了从前端交互、游戏开发到强化学习训练调试等场景的可交付能力。
上海人工智能实验室开源的多模态决策SOTA模型Intern-Decision采用自回归式掩码语言任务框架，在推理速度上比Jev提升2至3倍，并在游戏画面决策、验证码识别和网页操作等任务中展现出将视觉理解与结构化决策结合的能力，目前已在Hugging Face、GitHub开源0.8B、2B和4B三个版本。
9月18日，亚马逊云科技官宣，旗下大模型服务平台Bedrock正式托管Kimi K3。国产模型上线海外云平台并非新鲜事。但是作为开源模型，开始让美国云厂商愿意"交钱" ，Kimi确实是独一份。
小米正式发布并开源 MiMo-V2.6 系列模型，罗福莉称其背后的研究创新和工程难度超过 DeepSeek R1，在 Artificial Analysis Intelligence Index v4.3 中以 46.32 分成为当前得分最高的开源模型，价格仅为海外同级模型的 1/20 至 1/60。
APUS（麒麟合盛）旗下AI实验室公开全球最早一批Jev独立开源复现成果fast-browser-use，基于Qwen3.5等开源模型在RTX PRO 6000上将单次决策压缩至79毫秒，并以9B小模型对标Jev性能。
近期，香港科技大学联合M-A-P、NOIZ AI、斯坦福等机构发布并开源了一个统一符号与音频音乐生成的模型YuE2，将开源音乐生成的质量推向与前沿闭源模型正面竞争的位置。