工具

1. 首页
2. 工具

Bith AI

Bith AI 是一款AI驱动的视频创作与编辑工具，支持文本转视频、自动字幕生成、多平台尺寸适配、多媒体融合及一键发布等功能。适用于社交媒体、企业营销、教育培训和个人创作等多种场景，提升视频制作效率与专业度。

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

Kimina

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

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

Thekeys

你知道你想说什么,你只是不知...

生活创意 1970年01月01日 0 点赞 0 评论 685 浏览

IMI Prompt推荐

IMI Prompt生成器是一个AI艺术生成器，帮助用户创建独特的艺术作品。凭借其广泛的艺术风格，颜色和对象的选择，用户可以轻松地生成艺术作品，而不需要知道复杂的术语。该应用程序...

Ai绘画生成 1970年01月01日 0 点赞 0 评论 685 浏览

奇布塔

奇布塔是一个依托AI技术的有声绘本创作平台，提供文字、图片、声音和视频一体化编辑工具，集成丰富的资源库，支持用户创作高质量有声作品。平台特色包括图片转绘、角色画面分离及社区互动功能，广泛适用于儿童教育、语言学习、早期教育及家庭娱乐等领域。

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

MUSIC.AI

MUSIC.AI 是一款基于人工智能的音频处理平台，提供音频分离、混音、母带处理、语音转换、歌词转录等功能，支持多语言翻译与本地化。平台已处理超 10 亿分钟音频，服务数千万用户，适用于音乐制作、视频剪辑及现场演出等多种场景，显著提升音频处理效率与质量。

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

投资策略模拟器

一种帮助投资者通过模拟环境来测试和优化他们的投资策略的工具，投资策略模拟器利用历史数据、市场模型和高级计算技术，如神经网络、大数据分析和云计算，来模拟股票、期货、外汇等市场的行为。

财经投资 2025年06月05日 81 点赞 0 评论 684 浏览

Jambot

JamBot 是一个由人工智能驱动的工具，存在于Figma的FigJam中。它旨在帮助用户更快地启动初稿并加速进展。使用JamBot，用户可以与ChatGPT一起在同一画布上创建视觉思维导图、采取多...

创作工具 1970年01月01日 0 点赞 0 评论 684 浏览

Pollo AI

Pollo AI是一款由HIX.AI推出的AI视频创作平台，支持文本、图像及视频风格转换等多种功能，能将文字或图片快速生成高质量视频。平台具备角色一致性保障、多风格转换、高清输出等特性，适用于短视频制作、品牌推广、教学视频等领域，为用户提供高效的AI视频生成体验。

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

SnapAny

万能视频图片解析下载，快速、免费、简单. 从1000+平台保存视频和图片

格式转换 2025年06月05日 86 点赞 0 评论 683 浏览