BFS-Prover 是由字节跳动豆包大模型团队推出的一款基于大语言模型（LLM）的自动定理证明系统。它通过改进广度优先搜索（BFS）算法，结合专家迭代和直接偏好优化（DPO）技术，实现了高效的证明搜索。

豆包语音大模型系列之AI说书功能通过其强大的语音合成能力和情感表达，为用户提供了媲美真人主播的听书体验。它不仅在技术上实现了突破，还通过实际应用为用户带来了更加丰富和自然的听书选择。

Doubao-1.5-pro模型使用 MoE 架构，并通过训练-推理一体化设计，探索模型性能和推理性能之间的极致平衡。Doubao-1.5-pro 仅用较小激活参数，即可超过一流超大稠密预训练模型的性能，并在多个评测基准上取得优异成绩。

一个开源、简洁且可自部署的工具，旨在帮助用户实时翻译和订阅RSS内容。它支持多种翻译引擎，包括 Google Translate、Microsoft Translate、DeepL 等！

豆包浏览器插件凭借其强大的AI功能和良好的用户体验，成为提高在线工作和学习效率的实用工具。

字节跳动在AI工具领域的布局非常广泛，涵盖了聊天机器人、写作辅助、图片生成、视频创作等多个方面，为用户提供了多样化的智能化服务。