AI

1. 首页
2. AI

Kimina

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

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

TinyWow

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

生活创意 1970年01月01日 0 点赞 0 评论 782 浏览

万智

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

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

音控

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

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

Peek

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

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

Skywork

Skywork-Reward 是昆仑万维推出的一系列高性能奖励模型，包括 Skywork-Reward-Gemma-2-27B 和 Skywork-Reward-Llama-3.1-8B，主要用于优化大语言模型的训练过程。这些模型通过提供奖励信号，帮助模型理解和生成符合人类偏好的内容。Skywork-Reward 在对话、安全性和推理任务中表现出色，并且在 RewardBench 评估基准上名列前

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

Inverse Painting

Inverse Painting 是一种基于 AI 的创新技术，能够逆向还原绘画过程，通过分析艺术家的绘画视频学习技巧与顺序，生成详细的绘画指令，逐步更新画布，模拟创作流程。该工具可应用于艺术教育、艺术创作辅助、文化遗产保护、艺术品鉴定、娱乐产业及交互式媒体等多个领域。

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

EliGen

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

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

Wisecut

Wisecut 是一款利用人工智能技术的在线视频编辑工具，其核心功能包括 AI 高光检测、自动字幕生成与多语言翻译、基于语音的故事板编辑、智能背景音乐匹配以及静音段落自动移除等。它特别适合用于社交媒体内容创作、视频博客、在线教育、产品营销和企业培训等领域，帮助用户快速制作高质量的短视频或音频内容。

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

HouseCrafter

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

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