AI

Leap AI

Leap AI通过其自动化工具,帮助营销团队更高效地将视频内容转化为文本内容,提升内容营销的覆盖面和效果。

artflow

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

EXAONE 3.5

EXAONE 3.5是一款由LG AI研究院开发的开源AI模型,包含多种参数规模版本,专长于长文本处理和复杂场景下的推理任务。其核心技术包括检索增强生成与多步推理,可显著减少错误信息并提升准确性。此外,EXAONE 3.5还具备双语支持及强大的上下文理解能力,适用于聊天机器人、语言翻译、内容创作等多个领域。

Let's Enhance

Let‘s Enhance是一种基于人工智能在线照片增强和放大平台。它使用先进的算法和神经网络来提高图像质量,增加分辨率,修复模糊和像素化问题,并增加照片的清晰度。

StereoCrafter

StereoCrafter是一款由腾讯AI Lab与ARC Lab联合开发的创新性工具,可将传统2D视频转化为高质量的立体3D视频。它采用深度估计、视频变形及立体视频修复等关键技术,确保生成的3D视频具备高保真度和一致性。该工具广泛应用于影视制作、虚拟现实(VR)、增强现实(AR)、游戏开发等领域,为用户提供更加沉浸式的视觉体验。

Ichigo

Ichigo是一款开源的多模态AI语音助手,采用混合模态模型,支持实时处理语音和文本交织序列。它通过统一的Transformer架构实现跨模态联合推理,提供低延迟的实时性能,并支持多语言、多轮对话及模糊输入处理。Ichigo适用于智能家居、个人助理、客户服务、教育和健康咨询等多种应用场景,展现了高效、灵活的技术优势。

vidyo.ai

Vidyo.ai是一款基于人工智能的视频编辑工具,可将长视频自动剪辑为适合社交媒体的短视频片段。其主要功能涵盖智能剪辑、尺寸适配、字幕生成、播放速度调节及音频优化等。该工具支持多语言操作,适合内容创作者和品牌方高效制作高质量视频内容。

Dream Machine AI

Luma Labs 开发的一种先进的AI模型,可以通过文本和图像快速生成运动流畅、具有电影品质和戏剧元素的 5 秒视频剪辑,将静态快照转变为动态故事。

Aidge

Aidge是阿里巴巴国际数字商业集团推出的AI电商运营平台,集成了翻译、虚拟模特生成和图像处理等功能,旨在提升跨境电商效率与用户体验。平台提供API接口,支持多语言开发,适用于多种电商场景,如产品推广、客服支持和本地化营销,助力商家降低成本、提高转化率。

BFS

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