AI

1. 首页
2. AI

Kimina

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

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

福棠·百川

福棠·百川是全球首个儿科大模型，由国家儿童医学中心等机构联合研发，具备强大的临床推理能力和循证医学模式，整合了海量医疗数据和专家经验，可提供个性化诊疗方案。该模型应用于基层和专家版，分别服务于日常诊疗和疑难病诊断，已在北京儿童医院投入使用，诊断准确率达95%。同时支持在线问诊、远程会诊、教育及科研等多场景应用。

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

Matrix3D

Matrix3D 是一种由多所高校与科技企业联合开发的统一摄影测量模型，集姿态估计、深度预测、新视图合成与3D重建于一体。其核心技术为多模态扩散变换器，支持跨模态数据融合与灵活任务处理。通过掩码学习策略，提高数据利用效率并增强模型泛化能力。适用于VR/AR、游戏开发、影视制作等领域，具有高度交互性和灵活性。

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

Product Avatar

Product Avatar 是一款由 TopView 推出的 AI 工具，能够将产品图片转化为由虚拟人物手持展示的视频内容。用户只需上传图片并选择模板，即可生成高质量视频，无需真人模特。支持多语言与唇形同步，适用于电商、社交媒体及广告营销等场景，帮助品牌提升产品展示效果与全球市场沟通能力。

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

Tempo Labs

Tempo Labs是一款基于AI技术的开发平台，专注于助力设计师和开发者高效构建React应用。它提供拖放式编辑器、组件管理、代码优化及GitHub集成等功能，支持灵活的本地编辑与团队协作，帮助企业加速产品开发并保持设计一致性。

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

爱扒谱

爱扒谱是一款基于人工智能技术的在线音乐处理平台，提供一键扒谱、音轨分离、AI音乐生成及MP3转MIDI等功能。它适用于音乐创作者、教师、学生及爱好者，能够显著提升音乐创作效率和学习体验。其主要特点包括高效便捷、智能精准、多平台支持及用户友好性。

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

天天跳绳

天天跳绳是一款基于AI技术的运动健身应用，通过手机摄像头捕捉用户动作，实现跳绳等运动的自动计数和监测。它提供个性化健身计划，包含多种运动项目和趣味游戏模式，支持在线互动与挑战，帮助用户高效完成健身目标。应用兼具实用性和娱乐性，适用于家庭、学校、办公室等多个场景。

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

GameNGen

GameNGen是谷歌推出的一款AI游戏引擎，它能够以每秒20帧的速度实时生成高质量的DOOM游戏画面，使大多数玩家难以分辨真假。该工具无需编程，简化了开发流程，同时具备高逼真度和交互式体验，为游戏创作提供了新的可能性。除了游戏开发，它还能应用于虚拟现实、自动驾驶等多个领域，具有广泛的应用前景。

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

Peachly AI

脸书、Instagram和谷歌广告的一体式人工智能广告工具

AI写作对话 1970年01月01日 0 点赞 0 评论 15 浏览

Light Year AI

Light Year AI是一个将文本与视觉艺术结合的平台，它通过提供文本到图像和视频的转换服务，为创意工作者和普通用户提供了一个全新的表达和分享想法的方式。

Ai绘画生成 1970年01月01日 0 点赞 0 评论 13 浏览