工具

SimplifyAI

SimplifyAI 是一款支持多格式文档翻译的 AI 工具,可保持原文排版并提供术语管理、实时翻译及语言优化功能。适用于学术研究、商业文件处理、跨境电商、教育和个人学习等多种场景,确保翻译准确、高效且安全。

CircleBack

CircleBack 是一款基于 AI 的会议记录工具,支持多语言转录与智能总结,能自动生成结构化笔记和行动项。其具备强大的口音识别能力,可与 Zoom、Google Meet、Microsoft Teams 等平台集成,适用于企业会议、远程协作、教育、客户服务及医疗等多个场景。此外,它还支持语义搜索和工作流自动化,提升会议管理效率。

IMI Prompt

IMI Prompt是一个全面的Midjourney v5艺术品提示生成器,用户可以创建独特的Midjourney v5艺术品,可在Web、Android和iOS上使用。

MUSICHERO

MUSICHERO是一款利用AI技术实现文本到音乐转换的在线生成工具,基于Suno V3.5算法,支持用户通过简单描述快速生成专业级别的音乐作品,涵盖流行、摇滚、电子等多种风格。该平台具备直观易用的特点,支持免费体验及定制化设置,适用于音乐制作、内容创作、教育培训等多个领域。

有戏

下一代中文f专业剧本创作工具,中文优先的智能剧本创作工具,为您提供极致的创作效率。

TokenVerse

TokenVerse 是一种基于扩散模型的多概念图像生成工具,支持从单图或多图中解耦并组合视觉元素,如物体、材质、姿势等。通过优化调制空间,实现对复杂概念的局部控制,无需微调模型即可生成个性化图像,适用于创意设计、艺术创作和内容生成等多种场景。

Vid2World

Vid2World是由清华大学和重庆大学联合开发的创新框架,能够将全序列、非因果的被动视频扩散模型(VDM)转换为自回归、交互式、动作条件化的世界模型。该模型基于视频扩散因果化和因果动作引导两大核心技术,解决了传统VDM在因果生成和动作条件化方面的不足。Vid2World支持高保真视频生成、动作条件化、自回归生成和因果推理,适用于机器人操作、游戏模拟等复杂环境,具有广泛的应用前景。

Macro PDF

Macro PDF 是一款面向学术、法律和金融领域的 AI PDF 工具,支持智能文档处理、术语解释、摘要生成、多语言翻译及交互式问答等功能。用户可通过高亮文本获取即时解释,实现高效阅读与分析。支持多种 AI 模型,具备高级编辑功能和跨平台兼容性,适用于合同审查、财务分析、文献研究等场景,提升工作效率与信息处理能力。

AEE

AEE(Auto Excel Editor)是一款基于人工智能的在线Excel编辑工具,能够自动执行数据增删改查等逻辑操作,支持智能录入、公式插入、样式优化及模板生成等功能,显著提升工作效率,适合数据分析师、财务人员及市场研究人员等用户群体。

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型,采用强化学习技术,在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段,提升解题效率。在miniF2F基准测试中达到80.7%准确率,显著优于现有模型。具备高样本效率与良好可扩展性,适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。