工具

音控

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

EliGen

EliGen是由浙江大学与阿里巴巴集团联合开发的实体级可控图像生成框架,采用区域注意力机制实现对图像中实体的精确控制,支持多实体修复、风格化生成及交互式编辑。基于50万高质量注释样本训练,具备强大泛化能力,适用于虚拟场景、角色设计、数据合成及产品展示等场景。

Kimi浏览器插件

Kimi浏览器插件是一款集成即时问答、全文摘要和划线互动功能的工具,支持用户通过划线提问获取上下文相关答案,并可一键生成文章摘要,提高阅读效率。划线互动功能还允许用户查看其他用户对特定文本的疑问和解答,增强社区互动。插件兼容多种浏览器,提供简洁的用户体验,适用于学术研究、资料查询、学习新知识、专业信息检索、内容创作等多个应用场景。

OpenScholar

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

Kimina

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

TinyWow

AI的实用工具,使你的生活更容...

万智

万智是零一万物推出的企业级AI解决方案,支持快速部署大模型,兼容多种硬件和架构,具备本地化部署能力,保障数据安全。平台集成RAG、联网搜索等功能,提升企业决策效率,并提供模型微调工具以满足垂直领域需求。采用Rewrite和Rerank技术优化输出准确性,显著提升性能。

Peek

Peek 是一款基于人工智能的个人财务管理工具,可自动追踪用户的银行账户、信用卡及其他金融账户,实时更新收支和投资情况。它通过AI分析用户消费模式,提供个性化的财务建议,帮助用户优化开支、设定财务目标并实现长期规划。Peek 注重隐私保护与情感体验,设计友好,适合各类用户群体使用。

HRAvatar

HRAvatar是由清华大学联合IDEA团队推出的单目视频重建技术,能够从普通单目视频中生成高质量、可重光照的3D头像。它采用可学习的形变基和线性蒙皮技术,结合精确的表情编码器和物理渲染模型,实现高精度重建和实时渲染(约155 FPS)。支持材质编辑、跨视角渲染和动画化,适用于数字人、虚拟主播、AR/VR、游戏开发和影视制作等领域。

Logome

Logome是一款基于AI技术的在线标志设计工具,能够根据用户输入的品牌信息快速生成多种标志方案,并支持风格、颜色和字体的自定义调整。同时提供品牌套件生成、智能设计建议以及高分辨率文件导出等功能,适用于初创企业、自由职业者和个人品牌建设,帮助用户高效打造专业且一致的品牌形象。