本期AI日报聚焦多项AI领域新进展：字节跳动发布Seed Prover 1.5，在形式化数学推理领域取得突破；阿里通义开源语音交互模型Fun-Audio-Chat-8B，具备超低延迟和情感感知能力；MiniMax开源M2.1编码模型，性能超越闭源巨头；知乎发布2025年度AI产品榜单，豆包位居榜首；Anthropic推出开源Agent Skills知识库，助力Claude模型技能拓展；Lima v2.0发布，从容器工具进化为安全AI工作流平台；讯飞星�...
特别声明：本页面标签名称与页面内容，系网站系统为资讯内容分类自动生成，仅提供资讯内容索引使用，旨在方便用户索引相关资讯报道。如标签名称涉及商标信息，请访问商标品牌官方了解详情，请勿以本站标签页面内容为参考信息，本站与可能出现的商标名称信息不存在任何关联关系，对本页面内容所引致的错误、不确或遗漏，概不负任何法律责任。（反馈错误)