1. 梁志镅资深新媒体人首页
  2. AI界Plus

AI日报:字节发布Seed Prover1.5;MiniMax M2.1开源;通义开源语音交互大模型Fun-Audio-Chat-8B

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。

相亲找对象微信搜索“寻爱相亲网”
也可以加微信:yunanxqw

原创文章,作者:梁志镅,如若转载,请注明出处:https://www.liangzhimei.com/817.html