AI工具

1. 首页
2. AI工具

BFS

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

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

PromptFix

PromptFix是一款基于扩散模型的开源AI图像修复工具，支持多种图像处理任务，如上色、物体移除、去雾、去模糊等。它通过20步去噪过程精确修复图像缺陷，同时保持图像结构完整性和泛化能力。PromptFix具备高频细节保护、辅助提示适配器、零样本学习能力和大规模数据集构建等特点，适用于个人照片编辑、专业摄影、数字艺术创作、媒体广告及电影制作等多个领域。

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

白日梦AI

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

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

Submagic

Submagic是一款基于人工智能技术的视频编辑工具，专为内容创作者、企业及团队设计。其核心功能包括动态字幕生成、高级B-Roll素材集成、基于文本的剪辑操作及团队协作支持。通过这些功能，Submagic能够显著提升视频制作效率，增强内容的专业性和吸引力，同时支持用户收集反馈以持续优化内容质量。适用场景涵盖社交媒体、商业营销、教育、播客、新闻媒体及产品演示等领域。

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

CreatorKit

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

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

Mureka V6

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

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

WriteHuman

WriteHuman是一款专为改善AI生成文本自然性的工具，通过人性化处理避免被AI检测工具识别。它具备多平台兼容性、多语言支持以及实时编辑建议等功能，可满足内容营销、学术写作、SEO优化等场景需求，帮助用户优化文本风格并提升创作效率。

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

Vidu Q1

Vidu Q1是清华大学朱军教授团队研发的高可控视频生成模型，支持1080p高清视频生成，具备精准音效控制、多主体一致性调节、局部超分重建等功能。在多项国际评测中表现优异，包括VBench和SuperCLUE榜单均获第一。模型基于扩散模型与U-ViT架构，融合文本、图像和视频信息，适用于影视制作、广告宣传及动画创作等领域。

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

AI Tools Alternatives

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

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

Qwen3

Qwen3 是阿里巴巴推出的下一代大型语言模型，支持“思考模式”和“非思考模式”，适用于复杂与简单任务。具备 119 种语言支持，优化了编码与 Agent 能力，数据量达 36 万亿 token，采用四阶段训练流程。提供多种模型配置，涵盖从轻量级到企业级应用。在多项基准测试中表现优异，广泛应用于文本生成、机器翻译、法律文书、技术文档、医疗辅助等领域。

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