工具

1. 首页
2. 工具

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

AI项目与工具 2025年06月12日 50 点赞 0 评论 520 浏览

NotebookLlama

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

AI项目与工具 2025年06月12日 29 点赞 0 评论 520 浏览

Agent Laboratory

Agent Laboratory是由AMD与约翰·霍普金斯大学合作开发的基于大型语言模型的研究辅助工具，支持从文献综述到报告撰写的全流程科研任务。它具备实验设计、代码生成、结果分析等功能，并通过多代理协作和用户反馈机制提升研究质量。实验表明其可显著降低研究成本，适用于机器学习、生物医学等多个领域。

AI项目与工具 2025年06月12日 68 点赞 0 评论 521 浏览

吐司AI换脸

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

AI项目与工具 2025年06月12日 83 点赞 0 评论 521 浏览

Mini

Mini-Omni 是一个开源的端到端语音对话模型，具备实时语音输入和输出的能力，能在对话中实现“边思考边说话”的功能。模型设计无需额外的自动语音识别（ASR）或文本到语音（TTS）系统，直接进行语音到语音的对话。Mini-Omni 采用文本指导的语音生成方法，通过批量并行策略提高性能，同时保持了原始模型的语言能力。它支持实时语音交互、文本和语音并行生成、跨模态理解等功能，适用于智能助手、客户服务

AI项目与工具 2025年06月12日 93 点赞 0 评论 521 浏览

AI Code Converter

AICodeConvert是一个强大的工具，可以让用户轻松地生成或转换代码和自然语言为他们喜欢的编程语言。该工具利用人工智能技术提供代码生成和翻译功能，从而提高生产力。

创作工具 1970年01月01日 0 点赞 0 评论 521 浏览

sendsteps

SendSteps是一款结合人工智能技术的演示文稿制作工具，支持通过AI辅助生成、自定义编辑或文件导入等方式快速创建高质量演示文稿。其特色功能涵盖智能排版、多语言支持、互动元素设计及云端协作，广泛应用于商务、教育、企业培训及市场推广等领域，致力于优化用户的内容呈现体验。

AI项目与工具 2025年06月12日 16 点赞 0 评论 521 浏览

KYP.ai

KYP.ai的功能只要是通过工具识别可以通过自动化工具解决的障碍和低效，并向客户管理员提供建议。

AI服务商 2025年06月05日 49 点赞 0 评论 521 浏览

AgentCPM

AgentCPM-GUI是由清华大学与面壁智能团队联合开发的开源端侧GUI代理系统，专为中文应用场景优化。基于MiniCPM-V模型，支持通过截图输入并自主执行用户指令，具备高精度GUI元素识别与OCR能力。采用强化微调和紧凑动作空间设计，提升任务执行效率与移动端适配性。适用于智能助手、自动化测试、老年人辅助及企业应用等领域。

AI项目与工具 2025年06月11日 18 点赞 0 评论 521 浏览

Rask Ai

Rask AI是新一代的视频翻译和配音工具，是一个利用先进的人工智能技术来自动化视频内容本地化和翻译过程的平台。

Ai语音工具 2025年06月05日 74 点赞 0 评论 521 浏览