AI

Visily AI

Visily AI,面向非设计师的革命性 AI 驱动的线框工具。

威斯康星大学麦迪逊分校

威斯康星大学麦迪逊分校(University of Wisconsin-Madison,简称:UW-Madison)创建于1848年,位于美国威斯康星州首府麦迪逊,是一所公立研究型大学,该校是威斯康星大学系统的旗...

ChangeFace.AI

一种AI换脸工具,它允许用户上传一张高分辨率的单人照片,然后将自己的脸和一些有趣的图像进行交换,比如名人、动漫、艺术、卡通等。

氢刻AI

在氢刻,用卡片笔记的方式建立自己的知识体系,并通过艾宾浩斯曲线算法科学复习记忆,快速记住知识;氢刻AI将自动为您建立智能知识库,成为专属的永久记忆。

vidyo.ai

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

Dream Machine AI

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

TheDream.ai

TheDream.ai 是一款基于AI技术的图像生成工具,支持个性化头像和创意图像生成,提供200多种风格选择。用户上传照片后,可快速生成符合需求的图像,适用于社交媒体、职业形象和创意设计等场景。工具注重隐私保护,界面友好,操作便捷,适合各类用户使用。

万兴天幕大模型

万兴天幕大模型是万兴科技AILab的创新成果,展现了其在多媒体领域的深厚技术积累和前瞻性布局。通过自研技术和多年行业经验,天幕大模型为全球创作者提供了一个强大的工具,以实现...

Aidge

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

BFS

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