AI工具

1. 首页
2. AI工具

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。

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

FaceHub

FaceHub是一款基于AI技术的照片和视频编辑工具，主要功能包括面部交换、AI肖像生成、动画制作及语音克隆等。它能够帮助用户轻松制作个性化内容，适用于社交媒体娱乐、个人创意表达以及专业用途如头像设计和视频配音。其强大的功能和简便的操作使其成为一款多功能的数字内容创作助手。

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

AI Tools Alternatives

当你在浏览 AI 相关网站时，AI Tools Alternatives插件会智能地分析您正在查看的内容，并建议可能更适合您需求的替代 AI 工具。

Ai学习资源 2025年06月05日 38 点赞 0 评论 267 浏览

Mureka V6

Mureka V6是昆仑万维推出的AI音乐创作平台基座模型，支持多语言音乐生成及纯音乐创作。采用自研ICL技术，提升音乐结构连贯性与情感表达。用户可通过文本、音频或音色参考进行个性化创作，适用于多种音乐风格与情绪。支持从简单模式到高级模式的灵活操作，广泛应用于音乐爱好者、专业音乐人及内容创作等领域。

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

Sih.ai换图

在线极速修图换图工具，一键换装/换发型/换脸/换背景/换风格。

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

UFO²

UFO²是微软开发的多智能体操作系统，基于深度系统集成和自然语言交互技术，实现Windows桌面任务的自动化处理。系统采用HostAgent与AppAgent协同架构，结合GUI与API操作，提升任务执行效率和稳定性。支持多轮交互、非干扰式体验和安全保障机制，适用于办公自动化、企业任务处理、智能客服等多种场景，具有较强的实用性和扩展性。

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

CreatorKit

CreatorKit是一款基于AI技术的视觉内容创作工具，支持图片、视频及广告的智能生成与编辑。其核心功能包括AI图像生成、视频制作、品牌定制、多平台适配等，适用于电商、社交媒体及广告行业。用户可通过简单指令完成内容创作，提升效率并优化视觉呈现。提供多种订阅方案，满足不同规模企业的需求。

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

白日梦AI

一个文生视频类AIGC创作平台，支持文生视频、动态画面、AI角色生成、人物/场景一致性，可以将故事生成视频。

Ai绘画生成 2025年06月05日 53 点赞 0 评论 265 浏览

ChildMandarin

ChildMandarin是由智源研究院与南开大学合作开发的3-5岁儿童普通话语音数据集，包含41.25小时高质量语音，覆盖全国22个省市。数据通过家长引导式对话采集，保证自然真实。该数据集支持语音识别、说话人验证和语言研究，适用于儿童语言学习、教育系统、智能玩具和语音助手优化等领域，为儿童语音技术研究提供重要资源。

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

PNGMaker

PNGMaker 是一款基于 AI 技术的在线工具，可将文本快速转换为透明背景的 PNG 图像。支持自定义字体、颜色和排版，适用于网页设计、社交媒体营销、品牌标识及广告材料等多种场景。用户可通过简单操作生成高质量图像，提升设计效率与视觉表现力。

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