工具

开发者搜索

百度为开发者群体开发的一个小而美垂类搜索,开发者搜索目的让开发者能够更加简单高效的检索到需要的内容, 为平时的工作,学习提供帮助。

Supademo

Supademo是一款基于AI技术的交互式产品演示平台,支持屏幕录制、AI语音旁白、多语言翻译及个性化编辑。用户可创建高质量、高转化率的演示内容,并通过多渠道分享。平台提供丰富的分析功能,适用于销售、营销、客户支持和产品培训等多个场景。其灵活的定价策略满足不同规模企业的需求。

NotebookLlama

NotebookLlama是一款基于Meta开发的开源工具,能够将PDF文档自动转换为高质量播客内容。它通过LLaMa模型完成PDF预处理、文本转播客脚本、增加戏剧性元素以及文本转语音合成等步骤,无需人工干预即可生成专业水准的播客。NotebookLlama提供了详细的教程和操作指南,并支持多种应用场景,包括教育、新闻、企业培训和有声书制作等。

百雀AI外贸员

一款专为外贸企业量身定制的AI工具,具备24小时不间断工作能力,精通多国语言。它能自主识别竞争对手的采购商,并通过邮件、WhatsApp等多种渠道主动联系对方。

吐司AI换脸

吐司AI换脸是一款基于ComfyUI Workflow的图像处理工具,支持高质量人像换脸。用户只需上传目标图像和参考人脸图像,即可快速生成自然逼真的换脸效果。该工具提供精细化遮罩处理、面部修复、风格统一等功能,并兼容多种模型和版本。适用于影视、广告、艺术创作、社交媒体及游戏开发等多个领域,操作简便,效果出色。

Agent Neo

Agent Neo是Flowith推出的创新AI Agent,具备无限步骤、无限上下文和无限工具的核心能力,可执行复杂任务、处理海量信息并调用多种大模型与工具。结合知识库功能,用户可快速构建数字分身或生成高质量内容。支持24/7云端执行、多步骤优化和智能重新规划,适用于自动化任务、内容创作、知识管理等场景。目前为邀请制,需激活码使用。

Formularizer

Formularizer是一个功能强大的AI平台,帮助用户为Excel、Google Sheets、Notion等生成和解释公式。它通过快速将想法转化为公式并借助AI的帮助来节省时间,提高生产效率。

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型,采用强化学习技术,在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段,提升解题效率。在miniF2F基准测试中达到80.7%准确率,显著优于现有模型。具备高样本效率与良好可扩展性,适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

星火语音同传大模型

星火语音同传大模型是科大讯飞推出的国内首个端到端语音同传AI系统,支持37种语言,具备高精度翻译、流式处理、语境理解和语音合成优化等功能。模型可在5秒内完成同传,准确度高,适用于国际会议、商务交流、教育等场景,支持译文长度调节和设备兼容,提升跨语言沟通效率。

Multi

Multi-Speaker 是 AudioShake 推出的高分辨率多说话人分离工具,支持将音频中不同说话人的语音精准分离至独立轨道,适用于广播级音频处理。它具备高保真音频处理能力,支持高采样率,能处理长达数小时的录音,在复杂场景下仍能保持稳定效果。广泛应用于影视、播客、无障碍服务及内容创作等领域,提升音频编辑效率与质量。