1、字节跳动发布 Seed Prover1.5:推动形式化数学推理的新进展
字节跳动Seed团队推出的Seed Prover1.5在形式化数学推理领域取得重要突破，其通过Agentic强化学习显著提升了推理能力和效率。该模型在IMO2025和普特南数学竞赛中表现出色，展示了强大的性能。
2、阿里通义开源语音交互大模型Fun-Audio-Chat-8B！超低延迟，能读懂情绪
阿里巴巴通义实验室正式开源新一代端到端语音交互大模型Fun-Audio-Chat-8B，这款模型以超低延迟、自然流畅的语音交互为核心，标志着开源语音AI进入全新阶段。它不仅能实时理解用户语音，还具备强大情感感知能力，性能直逼闭源巨头GPT-4o Audio和Gemini2.5Pro。
原创文章，作者：梁志镅，如若转载，请注明出处：https://www.liangzhimei.com/817.html
相关推荐
-
全国首个规划资源大模型“云宇星空”发布！6000亿参数，让城市规划“问不倒、调图快、识图准”
城市治理迈入“AI原生”时代。 12 月 24 日，上海市规划和自然资源局联合商汤科技“大装置”正式发布全国规划资源领域首个基础大模型——“云宇星空大模型（专业版）。该模型以 60…
-
Vidu推出Vidu Q1参考生图功能，可支持7张参考图输入
据报道，马斯克在社交平台回应网友关于特斯拉将开始自己生产变压器的提问时，给予了肯定回答。（第一财经） 相亲找对象微信搜索“寻爱相亲网” 也可以加微信：yunanxqw
-
摩尔线程发布MTT AIBOOK笔记本：首发自研长江SoC！32GB+1TB售价9999元
摩尔线程在首届MUSA开发者大会上发布长江智能SoC，并推出基于该芯片的MTT AIBOOK笔记本电脑。产品已在京东预售，32GB+1TB配置售价9999元，将于2026年1月10…
-
礼来公司推出TuneLab平台，向生物技术企业开放AI药物发现模型
9月9日，礼来宣布将推出人工智能与机器学习平台TuneLab，该平台将向生物技术企业开放基于其多年研究数据训练的AI药物发现模型。礼来表示，此次首发的AI模型包含耗资逾10亿美元获…
-
OPPO推AI妙听：文章转双人播客
2025年12月，OPPO ColorOS将上线“AI妙听”功能，可将文字内容一键转化为双人播客。该功能不仅实现文本转语音，还重构内容并加入背景音乐，以更自然的对话形式呈现。据Co…
-
Runway发布GWM-1世界模型并拓展新领域
2025年12月12日，AI公司Runway发布GWM-1“世界模型”系列，宣称可保持数分钟画面连贯性，并具备物理规律模拟能力。该模型由三个后训练模型组成，旨在为机器人、物理及生命…
-
5年后将淘汰C语言 微软澄清：不会用AI重写Win11系统
快科技12月24日消息，日前一位微软工程师在个人页面宣布微软将在2030年删除所有C及C++语言编写的代码，用Rust取而代之。 这一表态引发了极大的关注与争议，微软偏好Rust这…
-
可灵2.1最强首尾帧上线 生成效果提升235%
8月22日，可灵AI正式推出基于2.1模型的全新首尾帧功能。该功能通过端到端多模态语义推理能力的升级，显著提升首尾帧功能视频生成效果。据评测数据显示，与此前1.6版本相比效果提升2…
-
阿里上线“千问智学”，字节推“AnyGen”:AI 应用正式接管你的书包与办公桌
随着人工智能技术的深度演进，大厂正加速将 AI 能力具象化为垂直场景的终端应用。近日，阿里巴巴正式推出 AI 教育应用程序“千问智学”，而字节跳动则在海外市场低调上线了 AI 办公…
-
可灵AI启动NEXTGEN全球新影像创作大赛，创作者获选作品将赴戛纳、东京展出
近日，快手旗下全球领先的AI创意生产力平台 ——可灵AI，正式宣布启动“可灵AI NEXTGEN 全球新影像创作大赛”，面向全球创作者征集AI生成的视频作品。大赛优胜者不仅将获得可…
