工具 - 智狐AI导航

Kimina

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

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

AIGIF

AIGIF是一款基于AI技术的个性化GIF制作工具，允许用户通过上传自拍照，将自己的面部特征无缝嵌入到各种GIF动画中，生成具有高度真实感和娱乐价值的表情包。其核心功能包括智能人脸交换、快速生成、高保真图像质量和丰富素材库。平台注重隐私保护，并提供免费与付费两种订阅模式以适应不同用户需求。

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

SimplifyAI

SimplifyAI 是一款支持多格式文档翻译的 AI 工具，可保持原文排版并提供术语管理、实时翻译及语言优化功能。适用于学术研究、商业文件处理、跨境电商、教育和个人学习等多种场景，确保翻译准确、高效且安全。

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

DeepSeek百宝箱

DeepSeek百宝箱是DeepSeek官方维护的GitHub项目，集成了多种支持DeepSeek API的工具和应用，涵盖聊天、知识管理、开发等多个领域。提供开箱即用、详实文档、本地化支持及多平台兼容性，助力开发者高效使用语言模型，提升工作效率。支持模型训练、部署、监控全流程，具备低代码配置、智能上下文感知、毫秒级响应等特性，适用于办公、编程、内容创作等多种场景。

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

StoryBee

StoryBee是一款基于AI技术的儿童故事生成平台，能够根据用户提供的主题或关键词自动生成个性化故事，并支持互动式选择以提升参与感。平台提供多样化的故事情节，涵盖多种类型，并针对不同年龄段的孩子调整故事复杂度。StoryBee融合教育元素，同时具备家长控制功能，确保内容的安全与健康。此外，平台还提供多媒体支持及故事创作工具，助力家庭和学校教育。

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

NMT

NMT是一种由UC Berkeley和阿里巴巴联合开发的多任务学习框架，通过将多任务优化问题转化为约束优化问题，实现高优先级任务性能的保障。它基于拉格朗日乘数法，结合梯度下降与上升算法，简化了超参数调整流程，提高了模型训练效率和稳定性。NMT适用于推荐系统、搜索引擎、自然语言处理和金融风控等多个领域，具有良好的兼容性和扩展性。

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