AI工具
  1. 首页
  2. AI工具

列表

VersaGen

VersaGen

VersaGen是一款基于生成式AI的文本到图像合成工具，支持多样化视觉控制和灵活的创意表达。通过适配器训练和优化策略，VersaGen将视觉信息融入生成过程中，显著提升了图像质量和用户体验。该工具适用于创意设计、数字艺术、广告营销、游戏开发及影视制作等多个领域，为用户提供了高效且直观的视觉创作解决方案。
AI项目与工具 2025年06月12日
BFS

BFS

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

ChildMandarin

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

TinyTroupe

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

Mathtutor on Groq

Mathtutor on Groq 是一款基于 Groq 架构的 AI 辅导工具，通过语音识别功能接收数学问题，结合强大的数学引擎提供实时解题过程与答案。其主要功能包括语音输入、LaTeX 公式渲染、高精度计算及自然语言处理支持，适用于代数、微积分等领域的学习与教学辅助。此外，它还集成了 xRx 框架、Whisper 和 Llama 模型，确保高效且精准的问题解决能力。Mathtutor on G
AI项目与工具 2025年06月12日
Probly

Probly

Probly 是一款集电子表格与 Python 数据分析功能于一体的 AI 工具，支持在浏览器中运行 Python 代码，实现数据处理、可视化和智能分析。用户可通过自然语言提问获取分析结果，操作简便且保障隐私安全，适用于数据分析、教育、科研及个人数据管理等场景。
AI项目与工具 2025年06月12日
SPDL

SPDL

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

AI问客

AI问客是一个多功能的AI助手，它能够覆盖广泛的使用场景，为用户提供智能问答和内容创作服务。
创作工具 2026年08月12日
Remento

Remento

Remento是一款将口头回忆转化为个性化纪念册的服务，基于Speech-To-Story™技术，将录音转写为书面故事并制成精美书籍。用户可通过提示或上传照片激发记忆，从任何设备轻松录制回答，支持文字编辑与定制化处理，同时保留原始录音的QR码链接。主要应用于家族历史记录、老年人生活回忆、节日庆典、教育传承及个人生命故事记录等领域。
AI项目与工具 2025年06月12日
绘世启动器

绘世启动器

绘世启动器是由B站UP主@秋葉aaaki开发的电脑桌面应用，旨在简化Stable Diffusion-WebUI项目的启动和管理。它支持一键启动、修复、更新、模型下载、模型管理和模型训练等功能，特别适合低配电脑和无编程基础的用户。启动器内置疑难解答系统，能够诊断并解决常见错误，同时支持部署SD-WebUI、ComfyUI等多种WebUI界面，便于用户构建完整的环境。
AI项目与工具 2025年06月12日