AI
  1. 首页
  2. AI

列表

通义智文

通义智文

支持网页阅读、论文阅读、图书阅读和自由阅读，让AI帮你读得多、读得快、读得懂
Ai办公效率 2026年06月27日
BgSub

BgSub

BgSub是一个抠图网站，可以帮助用户消除或替换图像背景，BgSub提供了比传统的Photoshop等工具更快速的抠图体验。
Ai图片处理 2025年06月05日
Piclumen

Piclumen

Piclumen 是一款基于AI的图像生成工具，支持文本转图像、图像风格化、背景移除及图像修复等功能，可生成多种艺术风格的高质量图像。其高分辨率输出和便捷操作使其广泛应用于社交媒体、广告设计、艺术创作、游戏开发及教育领域，适合各类用户快速实现视觉创意。
AI项目与工具 2025年06月12日
Ai2 Paper Finder

Ai2 Paper Finder

一款由艾伦AI研究所发布的基于LLM的文献搜索系统，Ai2 Paper Finder采用迭代式搜索方式，能模仿人类查找文献的过程，帮助用户发现小众、难找的论文。
教育学习 2025年06月05日
artflow

artflow

Artflow 是一款利用人工智能技术打造的动画创作工具，用户只需输入文本便能生成包含剧情的动画视频。它支持动画合成、AI 角色生成及视频制作，涵盖多种语言与视觉风格选项，适合教育、营销、娱乐等多个领域应用，帮助用户实现高效且个性化的创意输出。
AI项目与工具 2025年06月12日
炫图AI

炫图AI

炫图AI是一款利用AI技术的多功能照片编辑软件，具备物体添加、替换、消除、抠图及背景更换等功能。它还支持一键高清和尺寸调整，并提供了超过100种风格化选项，满足用户的不同需求。软件操作简单，功能强大，适合个人、商业及教育等多个场景应用。 ---
AI项目与工具 2025年06月12日
漫剪猫

漫剪猫

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