工具 - 智狐AI导航

creatify

Creatify是一款由人工智能驱动的视频广告制作平台，支持根据产品信息自动生成高质量营销视频。其主要功能包括自动视频生成、AI脚本创作、多样化模板选择、动态特效设计及多语言支持。Creatify适用于电商、品牌推广、教育培训等多种场景，帮助用户高效制作专业视频广告，降低时间和成本投入。

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

Logome

Logome是一款基于AI技术的在线标志设计工具，能够根据用户输入的品牌信息快速生成多种标志方案，并支持风格、颜色和字体的自定义调整。同时提供品牌套件生成、智能设计建议以及高分辨率文件导出等功能，适用于初创企业、自由职业者和个人品牌建设，帮助用户高效打造专业且一致的品牌形象。

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

Poster Studio

Poster Studio是一款专为社交媒体广告设计的人工智能工具，支持用户通过简单操作生成高质量广告创意。它具备多语言支持、多平台适配以及高ROI优化等特点，同时提供灵活的编辑功能和丰富的模板资源，广泛应用于品牌推广、产品发布、电商促销等领域。

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

Llama Tutor

Llama Tutor 是一款基于 AI 的开源个性化学习平台，利用 Llama 3.1 和 Together AI 技术生成定制化学习计划，涵盖多学科领域，提供互动式学习体验和精准解答。支持个人学习、学术教育、职业发展和语言学习等应用场景，致力于打造高效、有趣的沉浸式学习环境。

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

AgentCPM

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

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

Kimina

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

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