AI

1. 首页
2. AI

PIA

PIA是一款个性化图像动画生成器，可以生成具有高运动可控性和强文本和图像对齐性的视频，与条件图像对齐，通过文本实现动作控制，与各种个性化T2I模型兼容，无需特定调整。

Ai开源项目 2025年06月05日 51 点赞 0 评论 611 浏览

PlusDocs

一款功能强大的AI驱动的Google幻灯片插件，提供一系列功能来帮助企业进行市场研究、PPT幻灯片创建和报告自动化。

PPT资源 2025年06月05日 60 点赞 0 评论 611 浏览

Watermarkly

一款用于自动模糊照片部分的惊人应用程序，有了Watermarkly，您将能够在一批照片中模糊人脸和车牌，并在几分钟内保护您的敏感信息。

Ai图片处理 2025年06月05日 66 点赞 0 评论 611 浏览

Vanus AI

零代码即可轻松创建个人 AI 机器人和知识库。多维度知识检索和基于知识库的内容交付，释放个人 AI 无限潜力。

Ai编程建站 2026年06月27日 0 点赞 0 评论 611 浏览

IMAGDressing

IMAGDressing是一款由华为与腾讯合作开发的AI换衣工具，支持用户通过模块化方式设计服装并在虚拟环境中试穿。该工具集成了多种先进技术，包括3D建模、图形渲染、物理模拟、用户交互、机器学习和虚拟现实技术，能够实现高度逼真的虚拟试衣效果。IMAGDressing适用于电子商务、时尚设计、虚拟时尚秀和社交媒体等多种应用场景，能够提高用户体验和工作效率。

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

疯语咒AI

疯语咒AI是AI技术和教育的先行者，提供海量免费的AI学习材料。

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

AI Math

一款在线数学问题求解器，AI Math可以帮助用户克服数学学习中的难题，提高数学能力。它提供免费的入门服务，并支持多种语言，包括英语、中文、法语、德语、印地语等。

教育学习 2025年06月05日 52 点赞 0 评论 611 浏览

漫剪猫

漫剪猫是一款基于AI的小说转漫画视频工具，可将文本故事智能化地转换为漫画风格的视频内容。它具备智能分镜生成、AI绘制及配音、丰富的素材库、简单的剪辑操作以及高效导出分享功能。这款工具适用于小说视觉化、社交媒体内容创作、教育培训等多个场景，助力用户轻松实现个性化编辑和高质量输出。

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

BFS

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

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

SermonGPT

SermonGPT 根据提示和其他细...

Ai科技公司 2026年06月27日 0 点赞 0 评论 612 浏览