字节跳动

上周二，有网友发现字节跳动旗下的 AI 助手“豆包”正处于小范围测试其深度思考模型，但所采用的并非 DeepSeek 模型。 2025 年 3 月 5 日，豆包正式推出了“深度思考”推理模式，全面覆盖...

据字节跳动的AI工具库消息，即梦AI于今日推出了全新的“动作模仿”功能。用户可通过“数字人”入口进入平台，简单上传一张人物图片和一条参考视频，便可生成一个动态视频，使得图片中的人物能够模拟参考视频中人...

近日有用户反映，字节跳动旗下人工智能助手豆包正进行小范围测试，以探索深度思考模型。经核实，该模型并非接入 DeepSeek 模型。 针对此事，豆包相关负责人向蓝鲸财经表示，目前测试旨在验证其自主研发的...

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