工具
  1. 首页
  2. 工具

列表

Kimina

Kimina

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

LearnCoach

LearnCoach 是一款面向 K12 学生的 AI 学习平台，提供个性化课程、智能辅导和多种学习模式，如辅导课程与视频播放列表。平台包含丰富的视频教程和考试题库，帮助学生掌握重点知识，提升学习效率。支持语音输入与全天候访问，适用于日常学习、考前复习及课堂教学辅助，助力学生高效学习与成绩提升。
AI项目与工具 2025年06月12日
Wav2Lip

Wav2Lip

Wav2Lip是一款开源的唇形同步工具，能够将音频文件转换为与口型同步的视频。它支持多种语言，适用于视频编辑、游戏开发和虚拟现实等多个领域。Wav2Lip具备音频驱动口型生成、面部表情同步和多语言支持等功能，采用先进的技术原理，如数据预处理、音频特征提取、口型编码器、音频到口型映射及生成对抗网络（GAN）。该工具提升了电影和视频的后期制作质量，增强了虚拟现实中的交互体验，还用于游戏开发、语言学习和
AI项目与工具 2025年06月12日
Vid2World

Vid2World

Vid2World是由清华大学和重庆大学联合开发的创新框架，能够将全序列、非因果的被动视频扩散模型（VDM）转换为自回归、交互式、动作条件化的世界模型。该模型基于视频扩散因果化和因果动作引导两大核心技术，解决了传统VDM在因果生成和动作条件化方面的不足。Vid2World支持高保真视频生成、动作条件化、自回归生成和因果推理，适用于机器人操作、游戏模拟等复杂环境，具有广泛的应用前景。
AI项目与工具 2025年06月11日
DeepGEMM

DeepGEMM

DeepGEMM是DeepSeek开发的高效FP8矩阵乘法库，专为NVIDIA Hopper架构优化，支持普通与分组GEMM操作。采用即时编译技术，实现运行时动态优化，提升计算性能与精度。通过细粒度缩放和双级累加技术解决FP8精度问题，结合TMA特性提升数据传输效率。代码简洁，仅约300行，适用于大规模AI推理、MoE模型优化及高性能计算场景。
AI项目与工具 2025年06月12日
Quadratic

Quadratic

Quadratic是一款基于AI技术的电子表格工具，支持自然语言交互、智能图表生成、数据库查询优化及代码执行。它提供高效的数据处理能力，适用于数据分析、可视化及团队协作等场景，拥有免费版、专业版和企业定制版，满足不同用户需求。
AI项目与工具 2025年06月12日
代悟AI搜索

代悟AI搜索

一款专为开发者打造的 AI 搜索引擎，代悟AI搜索基于专业的开发知识图谱和 RAG 技术，帮助您快速、精准地获取技术答案。
AI搜索问答 2025年06月05日
PixVerse

PixVerse

PixVerse是一款短视频制作工具，其基础功能包括文生视频和图生视频。这款工具由国人团队开发，主要面向用户免费开放，支持多模态输入，如图像、文本和音频，能够将这些输入快速转...
Ai视频生成 2026年09月28日
佐糖

佐糖

佐糖是一款在线处理图片的平台，以智能AI数据处理能力为驱动，提供高效创意编辑服务。它支持抠图、在线消除笔、模糊照片变清晰、裁剪压缩图片等操作，操作简单，只需三步：上传照...
图片处理 2026年09月28日
CircleBack

CircleBack

CircleBack 是一款基于 AI 的会议记录工具，支持多语言转录与智能总结，能自动生成结构化笔记和行动项。其具备强大的口音识别能力，可与 Zoom、Google Meet、Microsoft Teams 等平台集成，适用于企业会议、远程协作、教育、客户服务及医疗等多个场景。此外，它还支持语义搜索和工作流自动化，提升会议管理效率。
AI项目与工具 2025年06月11日