AI
  1. 首页
  2. AI

列表

OpenUtau

OpenUtau

OpenUtau 是一款开源的歌声合成工具，支持 UTAU 音源库和 VSQX 格式，具备音素编辑、颤音控制、多语言界面等功能，适用于音乐创作与虚拟歌手合成。它兼容 Windows、macOS 和 Linux，提供预渲染与实时预览，提升创作效率，适合音乐人、开发者及音频爱好者使用。
AI项目与工具 2025年06月11日
Kimina

Kimina

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

Jambot

JamBot 是一个由人工智能驱动的工具，存在于Figma的FigJam中。它旨在帮助用户更快地启动初稿并加速进展。使用JamBot，用户可以与ChatGPT一起在同一画布上创建视觉思维导图、采取多...
创作工具 1970年01月01日
揽睿星舟

揽睿星舟

揽睿星舟是一款由翼方健数自主研发的云端AI训推一体化算力平台，提供高性能GPU计算资源、开箱即用的训练与推理环境、丰富的AI工具链及预训练模型，支持多机多卡分布式训练和隐私安全计算，旨在解决AI协作中的安全信任问题并加速AI价值的释放。它包含推理服务、工作空间、星舟API、镜像社区、应用版与专业版等多种功能和服务，适用于模型训练、推理、大模型API服务、隐私安全计算及数据集共享等多个应用场景。
AI项目与工具 2025年06月12日
Smodin

Smodin

Smodin.io是一款多语言写作辅助平台，为全球的学生、作家和互联网工作者提供一系列工具来改善写作。它提供文本改写、检测抄袭、自动引用生成和多语言翻译等功能，以提高写作内容的质量和效率。
教育学习 2025年06月05日
HouseCrafter

HouseCrafter

HouseCrafter是一款基于2D扩散模型的AI工具，可将平面图自动转换为高质量的3D室内场景。它具备多视图图像生成、全局一致性保障及用户交互编辑等功能，广泛应用于建筑设计、室内设计、房地产营销等领域，有效提升了虚拟环境创建的效率与准确性。
AI项目与工具 2025年06月12日
OpenScholar

OpenScholar

OpenScholar是一款由华盛顿大学与艾伦AI研究所联合研发的检索增强型语言模型，专为科学家设计，能够高效检索并综合海量科学文献信息，生成基于文献的事实性回答。该工具具备强大的跨学科适用性，涵盖计算机科学、生物医学等多个领域，同时支持自我反馈迭代优化，显著提升回答质量和引用可靠性。所有相关资源已完全开源，便于全球学者使用与研究。
AI项目与工具 2025年06月12日
书生·浦语

书生·浦语

书生·浦语是上海人工智能实验室开发的一款开源AI大模型，具备卓越的推理能力和超长文本处理功能。该模型能够处理高达一百万词元的文本输入，支持联网搜索并整合信息，显著提升了处理复杂问题的能力。书生·浦语秉持开源理念，免费提供商用授权，旨在通过高质量开源资源赋能创新，推动AI技术的发展和应用。它支持多种功能，包括超长文本处理、增强推理能力、自主信息搜索与整合等，并提供了多样化的参数版本，以满足不同的应用
AI项目与工具 2025年06月12日
Sketch2Sound

Sketch2Sound

Sketch2Sound是一种由Adobe研究院与西北大学联合开发的AI音频生成技术，通过提取响度、亮度和音高概率等控制信号，结合文本提示生成高质量音效。其轻量化设计使得模型易于适配多种文本到音频框架，同时赋予声音设计师更强的表达力与可控性，广泛适用于电影、游戏、音乐制作及教育等多个领域。
AI项目与工具 2025年06月12日