工具

1. 首页
2. 工具

Kimina

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

AI项目与工具 2025年06月11日 33 点赞 0 评论 787 浏览

揽睿星舟

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

AI项目与工具 2025年06月12日 76 点赞 0 评论 787 浏览

易途AI面试官

易途AI面试官是一款基于AI技术的模拟面试工具，支持多种岗位和行业，提供真实面试场景、智能追问及多维度评估功能。它能帮助求职者提升面试技巧，同时为企业提高招聘效率和精准度，具备个性化练习与流程优化等特点。

AI项目与工具 2025年06月12日 29 点赞 0 评论 786 浏览

纷传

一款专为社群运营设计的工具，帮助用户创建和管理付费社群。它支持内容分享、粉丝链接、会员管理等功能，主要服务于内容创作者、博主、机构等，帮助他们建立和管理付费社群，实现内容变现和粉丝维护。

流量变现 2025年06月05日 40 点赞 0 评论 786 浏览

HouseCrafter

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

AI项目与工具 2025年06月12日 36 点赞 0 评论 786 浏览

OpenUtau

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

AI项目与工具 2025年06月11日 38 点赞 0 评论 786 浏览

OpenScholar

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

AI项目与工具 2025年06月12日 30 点赞 0 评论 786 浏览

Jambot

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

创作工具 1970年01月01日 0 点赞 0 评论 786 浏览

Sketch2Sound

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

AI项目与工具 2025年06月12日 35 点赞 0 评论 785 浏览

Kimi浏览器插件

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

AI项目与工具 2025年03月03日 81 点赞 0 评论 785 浏览