搜索
智东西3月3日报道，继2月22日超过豆包后，今日，腾讯旗下AI大模型应用腾讯元宝超过DeepSeek，登顶iOS免费App榜。近期借势DeepSeek，腾讯元宝存在感爆棚，密集上新：2月17日宣布已上线DeepSeek-R1 671B和腾讯混元深度思考模型Thinker（T1）；2月18日宣布调用腾讯元宝紧急支持微信搜索，让大家都能稳定体验和使用DeepSeek-R1；
自动形式化数学定理证明，是人工智能在数学推理领域的重要应用方向。此类任务需要将数学命题和证明步骤转化为计算机可验证的代码，这不仅能确保推理过程的绝对严谨性，还能构建可复用的数学知识库，为科学研究提供坚实基础。
DeepSeek时代，AI厂商的集体反思
现在，豆包大模型团队联合北京交通大学、中国科学技术大学提出了VideoWorld。
最近，科技圈都在传一个数据：百度旗下的文库业务，AI功能月活用户突破9000万，超过字节旗下豆包的7000万。最近，科技圈都在传一个数据：百度旗下的文库业务，AI功能月活用户突破9000万，超过字节旗下豆包的7000万。
昨天豆包大模型 1.5 全家桶正式发布了嘛，官方刚发布 15 分钟，就被咱们 Family 群里的家人给发现了，并且发出灵魂拷问——谁能测测？
刚刚发布的豆包大模型1.5，不仅多模态能力全面提升，霸榜多个基准；更难得的是，它在训练过程中从未使用过任何其他模型生成的数据，坚决不走蒸馏「捷径」。
就在刚刚，豆包的超级实时语音全量上线了。
本以为OpenAI连续12天的直播是给2024年AI行业收了个尾，没想到，惊喜往往在后面出现。 12月17日，智谱AI完成新一轮30亿人民币融资；几天之后的23日，阶跃星辰也完成了数亿美元B轮融资。
在人工智能快速发展的当下，这个问题有了新的答案——处理284张720P的图片。2023年12月，随着字节跳动发布最新的豆包视觉理解模型，AI领域又迎来一次"降维打击"：每千tokens的输入价格降至3厘，较行业常见价格低了整整85%。