Mistral AI发布专为Lean4设计的开源模型Leanstral1.5,采用Apache-2.0许可。该模型总参数119B,仅6B激活参数,兼顾高性能与低成本。在miniF2F形式数学基准中,验证集和测试集均达100%完成率,并已挑战Putnam等高难度推理任务。
2026-07-06
腾讯混元Hy3发布,智能水平比肩2—5倍参数旗舰模型,定价更低,稳定性和性价比提升。已在多个业务接入,API上线腾讯云TokenHub及海外平台。模型实现快慢思考融合,智能体实用性质变。
通义千问推出实时语音识别模型Fun-ASR-Realtime,首字延迟降至百毫秒级,实现“即说即反馈”的流畅交互。其识别准确度接近离线模型,在保证高精度同时突破实时性瓶颈,标志语音交互体验迈向新高度。
京东JoyAI App推出UGC数字人功能,用户上传照片即可零门槛生成专属虚拟分身,主打便捷与个性化。可定制写实或模板风格形象,为数字陪伴市场注入新活力。
Deep Code开源终端编程助手因深度适配DeepSeek-V4系列模型受关注,主打高质量推理与代码生成。历经迭代至v0.1.31版,功能趋于成熟,支持VS Code插件模式,为开发者提供新的辅助选择。
好莱坞制片厂诉Midjourney版权案升级为相互审视。Midjourney反向要求原告迪士尼等披露内部AI应用细节。法院限定证据开示范畴,仅需提交面向消费者的最终视频图像。