AI资讯新闻榜单内容搜索-豆包

关键词: AI,Manus,豆包,AI应用

该是产品经理发力的时候

关键词: 元宝,DeepSeek,腾讯元宝,豆包

智东西3月3日报道，继2月22日超过豆包后，今日，腾讯旗下AI大模型应用腾讯元宝超过DeepSeek，登顶iOS免费App榜。近期借势DeepSeek，腾讯元宝存在感爆棚，密集上新：2月17日宣布已上线DeepSeek-R1 671B和腾讯混元深度思考模型Thinker（T1）；2月18日宣布调用腾讯元宝紧急支持微信搜索，让大家都能稳定体验和使用DeepSeek-R1；

关键词: DeepSeek-ProverV1.5,BFS-Prover,数学推理模型,豆包

自动形式化数学定理证明，是人工智能在数学推理领域的重要应用方向。此类任务需要将数学命题和证明步骤转化为计算机可验证的代码，这不仅能确保推理过程的绝对严谨性，还能构建可复用的数学知识库，为科学研究提供坚实基础。

关键词: AI,deepseek,豆包,Kimi

DeepSeek时代，AI厂商的集体反思

关键词: AI,AI视频,豆包,模型训练

现在，豆包大模型团队联合北京交通大学、中国科学技术大学提出了VideoWorld。

关键词: 百度文库,百度AI,豆包,人工智能

最近，科技圈都在传一个数据：百度旗下的文库业务，AI功能月活用户突破9000万，超过字节旗下豆包的7000万。最近，科技圈都在传一个数据：百度旗下的文库业务，AI功能月活用户突破9000万，超过字节旗下豆包的7000万。

关键词: AI,豆包大模型,豆包1.5,人工智能

昨天豆包大模型 1.5 全家桶正式发布了嘛，官方刚发布 15 分钟，就被咱们 Family 群里的家人给发现了，并且发出灵魂拷问——谁能测测？

关键词: AI,豆包,豆包1.5,人工智能

刚刚发布的豆包大模型1.5，不仅多模态能力全面提升，霸榜多个基准；更难得的是，它在训练过程中从未使用过任何其他模型生成的数据，坚决不走蒸馏「捷径」。

关键词: AI,豆包,实时语音,人工智能

就在刚刚，豆包的超级实时语音全量上线了。

关键词: AI,豆包,Kimi,阶跃星辰,智谱

本以为OpenAI连续12天的直播是给2024年AI行业收了个尾，没想到，惊喜往往在后面出现。 12月17日，智谱AI完成新一轮30亿人民币融资；几天之后的23日，阶跃星辰也完成了数亿美元B轮融资。