前几天，我在群里看到有人和AI互动，觉得挺有意思。我也打开DeepSeek，输入相同的问题：你认为人类最伟大的地方是什么？请用四个字概括。大家的答案五花八门：仁者见智、不断超越、爱与和平……而我的答案是：知行合一。为了对比，我又用豆包、Kimi、腾讯元宝这几个工具试了试，发现答案都不一样。
AI越来越便宜，这是好事。
自动形式化数学定理证明，是人工智能在数学推理领域的重要应用方向。此类任务需要将数学命题和证明步骤转化为计算机可验证的代码，这不仅能确保推理过程的绝对严谨性，还能构建可复用的数学知识库，为科学研究提供坚实基础。
DeepSeek时代，AI厂商的集体反思
DeepSeek会是国内首个挑战ChatGPT，重塑AI助手现有格局的产品吗？从产品数据来看，值得期待。在APP端，DeepSeek上线半个月，就在新增下载量上超越了ChatGPT，并将百万级的领先优势持续至今。截至2月5日，DeepSeek的全球下载量已接近4000万。
现在，豆包大模型团队联合北京交通大学、中国科学技术大学提出了VideoWorld。
「除了 Claude、豆包和 Gemini 之外，知名的闭源和开源 LLM 通常表现出很高的蒸馏度。」这是中国科学院深圳先进技术研究院、北大、零一万物等机构的研究者在一篇新论文中得出的结论。
最近，科技圈都在传一个数据：百度旗下的文库业务，AI功能月活用户突破9000万，超过字节旗下豆包的7000万。最近，科技圈都在传一个数据：百度旗下的文库业务，AI功能月活用户突破9000万，超过字节旗下豆包的7000万。
实际上 Operator 只是最近一段时间，全球大模型公司智能体集中发布浪潮的一部分。早于 Operator 发布前两天，字节跳动豆包大模型团队就已经公布了同类型智能体：UI-TARS。
昨天豆包大模型 1.5 全家桶正式发布了嘛，官方刚发布 15 分钟，就被咱们 Family 群里的家人给发现了，并且发出灵魂拷问——谁能测测？
