工具

VideoCrafter2

VideoCrafter2 是一款由腾讯AI实验室开发的视频生成模型,通过将视频生成过程分解为运动和外观两个部分,能够在缺乏高质量视频数据的情况下,利用低质量视频保持运动的一致性,同时使用高质量图像提升视觉质量。该工具支持文本到视频的转换,生成高质量、具有美学效果的视频,能够理解和组合复杂的概念,并模拟不同的艺术风格。

Augment Code

一家专注于为大型代码库提供AI编程辅助工具的公司,通过上下文感知开发、个性化代码补全、跨文件编辑等功能,帮助开发团队提升效率,特别是擅长处理复杂代码库的维护和重构。

钉钉·个人版

以其创新的技术、丰富的功能和个性化的服务,为用户提供了一个全面、高效的创作和问题解答平台,极大地提升了工作和生活的效率。

Zonos

Zonos是一款由Zyphra开发的高保真文本到语音(TTS)模型,支持零样本语音克隆和多语言生成,具备精细的情感与语音参数控制能力。其采用Transformer和SSM混合架构,基于大规模语音数据训练,适用于有声读物、虚拟助手、多媒体创作及无障碍技术等多个领域。模型开源且支持实时语音生成,具有广泛的应用潜力。

抖抖侠

抖抖侠,它可以帮助商家更加高效地进行短视频数据运营,并且助力达人数据增长。

Product AnyShoot

Product AnyShoot 是一款基于 AI 技术的电商产品视频生成工具,用户只需上传图片并选择模板即可快速生成高质量视频。支持多种产品类型和场景,提供超过 5000 个预制模板,视频还原度高,便于用于电商推广、社交媒体营销等场景,提升用户体验和转化率。

Captions AI

Captions.ai 是一款自动转录、字幕和剪辑您的谈话视频的应用程序。

ColorSpace

只需要输入你的主色调颜色号,一键就可以生成优秀的配色方案

AiPathly

AiPathly是一款面向希望进入AI领域的专业人士的综合性平台,提供个性化技能评估、定制学习路径、职业匹配报告及实时行业洞察等功能。用户可通过模拟项目积累实践经验,并借助简历和作品集优化服务提升求职竞争力。无论是职业转型者、技能提升者还是学生群体,均可借助AiPathly实现高效成长与成功转型。

BFS

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