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
相关推荐
-
阿里上线“千问智学”,字节推“AnyGen”:AI 应用正式接管你的书包与办公桌
随着人工智能技术的深度演进,大厂正加速将 AI 能力具象化为垂直场景的终端应用。近日,阿里巴巴正式推出 AI 教育应用程序“千问智学”,而字节跳动则在海外市场低调上线了 AI 办公…
-
礼来公司推出TuneLab平台,向生物技术企业开放AI药物发现模型
9月9日,礼来宣布将推出人工智能与机器学习平台TuneLab,该平台将向生物技术企业开放基于其多年研究数据训练的AI药物发现模型。礼来表示,此次首发的AI模型包含耗资逾10亿美元获…
-
Google与OpenAI绘图工具遭利用,可一键生成女性不雅深伪照片
近日,主流生成式AI工具的安全边界再次引发关注。据科技媒体报道,原本用于创意生产的Google Gemini以及OpenAI的ChatGPT正被部分用户恶意利用,通过特定的提示词绕…
-
蚂蚁推出业内首个100B扩散语言模型
2025年12月12日,蚂蚁技术研究院发布LLaDA2.0系列离散扩散大语言模型,包含16B和100B两个版本,宣称是业内首个达100B参数规模的扩散语言模型。该模型采用创新的WS…
-
腾讯元宝:DeepSeek模式使用量较年初增长超100倍
快科技12月24日消息,今天,腾讯元宝发布的《元宝 x DeepSeek年度报告》。 报告显示,自今年2月接入DeepSeek模型以来,其DeepSeek模式使用量持续飙升,12月…
-
阿里通义开源语音交互大模型Fun-Audio-Chat-8B!超低延迟,能读懂情绪
阿里巴巴通义实验室正式开源新一代端到端语音交互大模型Fun-Audio-Chat-8B,这款模型以超低延迟、自然流畅的语音交互为核心,标志着开源语音AI进入全新阶段。它不仅能实时理…
-
5年后将淘汰C语言 微软澄清:不会用AI重写Win11系统
快科技12月24日消息,日前一位微软工程师在个人页面宣布微软将在2030年删除所有C及C++语言编写的代码,用Rust取而代之。 这一表态引发了极大的关注与争议,微软偏好Rust这…
-
Vidu推出Vidu Q1参考生图功能,可支持7张参考图输入
据报道,马斯克在社交平台回应网友关于特斯拉将开始自己生产变压器的提问时,给予了肯定回答。(第一财经) 相亲找对象微信搜索“寻爱相亲网” 也可以加微信:yunanxqw
-
可灵2.1最强首尾帧上线 生成效果提升235%
8月22日,可灵AI正式推出基于2.1模型的全新首尾帧功能。该功能通过端到端多模态语义推理能力的升级,显著提升首尾帧功能视频生成效果。据评测数据显示,与此前1.6版本相比效果提升2…
-
知乎2025年度 AI 产品榜单揭晓,豆包位居榜首
近日,知乎正式发布了备受关注的 “2025年度 AI 产品榜单”。这一榜单经过了多轮筛选与系统化的加权计算,旨在汇聚广大用户的真实反馈与专业视角,成为一份反映市场趋势的权威报告。榜…
