工具

1. 首页
2. 工具

BFS

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

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

Caricaturer.io

一个在线漫画生成器，使用 AI 和深度学习将你的肖像照片转换为漫画图片。生成有趣的、夸张的自画像，并给肖像照片添加艺术和夸张效果。

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

LTX Studio

LTX Studio 是由知名 AI 平台 Lightricks（也是 Facetune、Videoleap 和 Photoleap 等应用的开发者）推出的一项创新服务，它是一个生成式 AI 电影制作和视频短片生成平台。

Ai视频生成 1970年01月01日 0 点赞 0 评论 250 浏览

RenderForest

RenderForest，人工智能 LOGO生成器，基于文本描述生成视觉内容的算法，以及细分行业和风格的 LOGO 模板，帮你更加精准地生成 LOGO。

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

Evoto AI

Evoto AI，通过使用先进的AI自动化技术来增强编辑照片。无论您是想快速修饰人像、调整照片的颜色和曝光度、替换背景或天空，还是应用独家预设，Evoto 都可以帮助您只需单击几下即可完成。

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

TinyTroupe

TinyTroupe是一款基于大型语言模型的Python库，专注于生成逼真的虚拟人物行为。它通过构建虚拟角色（TinyPerson）与环境（TinyWorld），实现个性化、高自由度的行为模拟，并支持多智能体间的互动。该工具适用于市场研究、产品测试、用户体验优化等多个领域，为企业提供洞察力与决策支持。 ---

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

UFO²

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

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

白日梦AI

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

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

SPDL

SPDL（Scalable and Performant Data Loading）是一款由Meta AI开发的开源工具，专注于提高AI模型训练效率。它通过多线程技术和异步事件循环实现高吞吐量数据加载，降低资源消耗，支持分布式系统和主流AI框架PyTorch，适用于大规模数据集及复杂任务。其主要特点包括高吞吐量、低资源占用、框架无关性、性能监控与调优能力以及分布式系统支持。

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

五点下班AIGC

五点下班AIGC汇集了AI聊天、AI绘图、AI技能、AI工具箱，了解全新的AIGC技术，帮助您在前沿领域保持领先。

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