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 办公…
-
知乎2025年度 AI 产品榜单揭晓,豆包位居榜首
近日,知乎正式发布了备受关注的 “2025年度 AI 产品榜单”。这一榜单经过了多轮筛选与系统化的加权计算,旨在汇聚广大用户的真实反馈与专业视角,成为一份反映市场趋势的权威报告。榜…
-
阿里巴巴与荣耀深化战略合作,首次将全栈AI能力应用于AI手机
9月9日,阿里巴巴集团与荣耀宣布全面深化战略合作,合作覆盖AI云基础设施、AI模型、AI智能体(Agent)生态等多个领域,以及线上线下商业生态。这是阿里巴巴全栈AI技术能力首次整…
-
蚂蚁推出业内首个100B扩散语言模型
2025年12月12日,蚂蚁技术研究院发布LLaDA2.0系列离散扩散大语言模型,包含16B和100B两个版本,宣称是业内首个达100B参数规模的扩散语言模型。该模型采用创新的WS…
-
5年后将淘汰C语言 微软澄清:不会用AI重写Win11系统
快科技12月24日消息,日前一位微软工程师在个人页面宣布微软将在2030年删除所有C及C++语言编写的代码,用Rust取而代之。 这一表态引发了极大的关注与争议,微软偏好Rust这…
-
Runway发布GWM-1世界模型并拓展新领域
2025年12月12日,AI公司Runway发布GWM-1“世界模型”系列,宣称可保持数分钟画面连贯性,并具备物理规律模拟能力。该模型由三个后训练模型组成,旨在为机器人、物理及生命…
-
Vidu推出Vidu Q1参考生图功能,可支持7张参考图输入
据报道,马斯克在社交平台回应网友关于特斯拉将开始自己生产变压器的提问时,给予了肯定回答。(第一财经) 相亲找对象微信搜索“寻爱相亲网” 也可以加微信:yunanxqw
-
礼来公司推出TuneLab平台,向生物技术企业开放AI药物发现模型
9月9日,礼来宣布将推出人工智能与机器学习平台TuneLab,该平台将向生物技术企业开放基于其多年研究数据训练的AI药物发现模型。礼来表示,此次首发的AI模型包含耗资逾10亿美元获…
-
Google与OpenAI绘图工具遭利用,可一键生成女性不雅深伪照片
近日,主流生成式AI工具的安全边界再次引发关注。据科技媒体报道,原本用于创意生产的Google Gemini以及OpenAI的ChatGPT正被部分用户恶意利用,通过特定的提示词绕…
-
贝索斯拟设千亿美元基金押注AI制造转型
2026年3月20日,据多方知情人士透露,前亚马逊CEO杰夫·贝索斯正推进设立一只规模达1000亿美元的专项基金,旨在收购芯片制造、国防及航空航天等领域的传统制造业企业,并通过其旗…
