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
相关推荐
-
Runway发布GWM-1世界模型并拓展新领域
2025年12月12日,AI公司Runway发布GWM-1“世界模型”系列,宣称可保持数分钟画面连贯性,并具备物理规律模拟能力。该模型由三个后训练模型组成,旨在为机器人、物理及生命…
-
摩尔线程发布MTT AIBOOK笔记本:首发自研长江SoC!32GB+1TB售价9999元
摩尔线程在首届MUSA开发者大会上发布长江智能SoC,并推出基于该芯片的MTT AIBOOK笔记本电脑。产品已在京东预售,32GB+1TB配置售价9999元,将于2026年1月10…
-
豆包DAU突破1亿,字节AI战略再升级
2025年12月24日,据36氪报道,字节跳动旗下AI应用豆包的日均活跃用户(DAU)已突破1亿,成为字节又一“亿级DAU”产品。该数据经多方证实属实,且市场推广成本为历史最低。豆…
-
知乎2025年度 AI 产品榜单揭晓,豆包位居榜首
近日,知乎正式发布了备受关注的 “2025年度 AI 产品榜单”。这一榜单经过了多轮筛选与系统化的加权计算,旨在汇聚广大用户的真实反馈与专业视角,成为一份反映市场趋势的权威报告。榜…
-
Google与OpenAI绘图工具遭利用,可一键生成女性不雅深伪照片
近日,主流生成式AI工具的安全边界再次引发关注。据科技媒体报道,原本用于创意生产的Google Gemini以及OpenAI的ChatGPT正被部分用户恶意利用,通过特定的提示词绕…
-
OPPO推AI妙听:文章转双人播客
2025年12月,OPPO ColorOS将上线“AI妙听”功能,可将文字内容一键转化为双人播客。该功能不仅实现文本转语音,还重构内容并加入背景音乐,以更自然的对话形式呈现。据Co…
-
蚂蚁推出业内首个100B扩散语言模型
2025年12月12日,蚂蚁技术研究院发布LLaDA2.0系列离散扩散大语言模型,包含16B和100B两个版本,宣称是业内首个达100B参数规模的扩散语言模型。该模型采用创新的WS…
-
可灵2.1最强首尾帧上线 生成效果提升235%
8月22日,可灵AI正式推出基于2.1模型的全新首尾帧功能。该功能通过端到端多模态语义推理能力的升级,显著提升首尾帧功能视频生成效果。据评测数据显示,与此前1.6版本相比效果提升2…
-
Vidu推出Vidu Q1参考生图功能,可支持7张参考图输入
据报道,马斯克在社交平台回应网友关于特斯拉将开始自己生产变压器的提问时,给予了肯定回答。(第一财经) 相亲找对象微信搜索“寻爱相亲网” 也可以加微信:yunanxqw
-
腾讯元宝:DeepSeek模式使用量较年初增长超100倍
快科技12月24日消息,今天,腾讯元宝发布的《元宝 x DeepSeek年度报告》。 报告显示,自今年2月接入DeepSeek模型以来,其DeepSeek模式使用量持续飙升,12月…
