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
相关推荐
-
Google与OpenAI绘图工具遭利用，可一键生成女性不雅深伪照片
近日，主流生成式AI工具的安全边界再次引发关注。据科技媒体报道，原本用于创意生产的Google Gemini以及OpenAI的ChatGPT正被部分用户恶意利用，通过特定的提示词绕…
-
Vidu推出Vidu Q1参考生图功能，可支持7张参考图输入
据报道，马斯克在社交平台回应网友关于特斯拉将开始自己生产变压器的提问时，给予了肯定回答。（第一财经） 相亲找对象微信搜索“寻爱相亲网” 也可以加微信：yunanxqw
-
美物科技推出AI战略洞察计划
2026年3月20日，美物科技有限公司正式发布人工智能战略洞察计划。该计划面向其功效护肤业务，旨在提升研发协作效率与整体运营效能。计划由公司自主研发团队主导推进，覆盖数据整合、智能…
-
5年后将淘汰C语言 微软澄清：不会用AI重写Win11系统
快科技12月24日消息，日前一位微软工程师在个人页面宣布微软将在2030年删除所有C及C++语言编写的代码，用Rust取而代之。 这一表态引发了极大的关注与争议，微软偏好Rust这…
-
Ingenico与Visa合作推出智能POS支付解决方案
2026年3月20日，全球支付受理服务商Ingenico与Visa宣布达成战略合作。双方将整合Ingenico安卓平台AXIUM智能POS终端与Visa受理平台（含支付网关及风险管…
-
Runway发布GWM-1世界模型并拓展新领域
2025年12月12日，AI公司Runway发布GWM-1“世界模型”系列，宣称可保持数分钟画面连贯性，并具备物理规律模拟能力。该模型由三个后训练模型组成，旨在为机器人、物理及生命…
-
可灵AI启动NEXTGEN全球新影像创作大赛，创作者获选作品将赴戛纳、东京展出
近日，快手旗下全球领先的AI创意生产力平台 ——可灵AI，正式宣布启动“可灵AI NEXTGEN 全球新影像创作大赛”，面向全球创作者征集AI生成的视频作品。大赛优胜者不仅将获得可…
-
蚂蚁推出业内首个100B扩散语言模型
2025年12月12日，蚂蚁技术研究院发布LLaDA2.0系列离散扩散大语言模型，包含16B和100B两个版本，宣称是业内首个达100B参数规模的扩散语言模型。该模型采用创新的WS…
-
贝索斯拟设千亿美元基金押注AI制造转型
2026年3月20日，据多方知情人士透露，前亚马逊CEO杰夫·贝索斯正推进设立一只规模达1000亿美元的专项基金，旨在收购芯片制造、国防及航空航天等领域的传统制造业企业，并通过其旗…
-
可灵2.1最强首尾帧上线 生成效果提升235%
8月22日，可灵AI正式推出基于2.1模型的全新首尾帧功能。该功能通过端到端多模态语义推理能力的升级，显著提升首尾帧功能视频生成效果。据评测数据显示，与此前1.6版本相比效果提升2…
