AI

FlexiAct

FlexiAct是由清华大学与腾讯ARC实验室联合研发的动作迁移模型,可在空间结构差异较大的场景下实现精准动作迁移,并保持目标主体的外观一致性。其核心模块包括轻量级RefAdapter和频率感知动作提取(FAE),有效提升跨主体动作迁移的灵活性与准确性。该模型适用于影视、游戏、广告等多个领域,具有良好的应用前景。

SongR AI

一款可以让用户只需几个关键词创建定制歌曲的平台。无论用户的音乐经验如何,SongR AI都可以让你生成个性化的歌曲。

标小智Logosc:LOGO设计神器

标小智Logosc是一款专业的AI智能设计工具,以LOGO商标设计生成为核心功能。此外,它还提供名片、海报、头像、印章等图像的智能生成和处理服务。产品特点包括提供专业的AI设计辅助...

TabTac

TabTac是一款基于AI技术的浏览器,集成了搜索增强、网页浏览优化和办公辅助功能。它支持滑词搜索、图像识别、AI摘要、邮件撰写、语音控制等实用工具,提升信息处理效率。同时具备隐私保护机制,适用于商务、学术及日常多任务场景。

BeeBee AI

AI驱动的投资分析平台,可为投资者提供深入的见解和实时新闻。凭借其用户友好的界面和强大的 AI 功能,BeeBee AI 简化了复杂的财务报告和财报电话会议,为日常投资者提供了宝贵的见解。

Bing Video Creator

Bing Video Creator是微软推出的AI视频生成工具,基于OpenAI的Sora模型,用户可通过输入文本描述快速生成5秒短视频。支持9:16格式,提供快速模式和标准模式,初始有10次免费生成机会。功能包括视频生成、多种风格选择、视频存储和分享等,适用于广告、教学、创意和个人娱乐等多种场景。

Toorch

Toorch是一款基于人工智能技术的新闻阅读器,主要功能包括连续对话支持、搜索历史查询、快速内容生成、个性化体验(点赞与收藏)、划词搜索以及图片与链接展示。其设计旨在简化信息获取过程,提供直观且连贯的搜索服务。适用于即时新闻获取、信息追踪、研究学习、个性化内容发现及跨语言内容访问等多个场景。

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型,专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言(如Lean 4),生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能,在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域,具备强大的数学推理能力和广泛的应用前景。

braintrust

Braintrust 是一个端到端的 AI 工具平台,专注于通过迭代式的工作流帮助公司快速构建高效的 AI 应用。它提供了强大的提示调整、评分器配置及数据集管理功能,支持从模型评估到质量控制的全流程优化。此外,Braintrust 的直观界面和代码库集成特性使其适用于各类用户群体,广泛应用于 AI 产品开发、模型评估、质量控制及数据集构建等领域。

音控

音控是一款基于AI技术的音乐创作平台,提供AI作词、作曲、伴奏生成、AI歌手模拟等多功能支持,适用于个人创作、专业制作、音乐教育及治疗等领域。其智能化工具能够显著降低音乐创作门槛,同时满足多样化的音乐风格需求,使创作过程更高效且趣味盎然。 ---