AI

Leap AI

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

artflow

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

EXAONE 3.5

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

Gamma PPT生成工具

Gamma 是幻灯片的替代品 - 一种快速、简单的方式来分享和展示您的作品。创建易于现场讨论或异步共享的引人入胜的演示文稿、备忘录、简报和文档。全部在您的浏览器中,无需下载或安装。

Ichigo

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

Dream Machine AI

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

BFS

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

RenderForest

RenderForest,人工智能 LOGO生成器,基于文本描述生成视觉内容的算法,以及细分行业和风格的 LOGO 模板,帮你更加精准地生成 LOGO。

AddressCLIP

AddressCLIP 是一种基于 CLIP 技术的端到端图像地理定位模型,由中科院自动化所与阿里云联合开发。它通过图像与地址文本对齐和地理匹配技术,实现街道级别的精确定位,无需依赖 GPS。模型在多个数据集上表现优异,适用于城市管理、社交媒体、旅游导航等多个场景,具备良好的灵活性和多模态结合潜力。