OpenMath OpenMath-Nemotron是由英伟达推出的一系列开源数学推理模型，专为解决复杂数学问题设计，涵盖从基础到奥林匹克级别的题目。其基于大规模数据集OpenMathReasoning训练，具备长推理、多模式推理和工具集成推理能力。模型支持多种应用场景，包括数学教育、竞赛训练、学术研究和工业应用。项目提供GitHub、HuggingFace和arXiv等资源，适用于需要高精度数学推理的AI系统开发 AI项目与工具 2025年06月11日 56 点赞 0 评论 228 浏览
Klee Klee是一款本地运行的AI桌面应用，专注于数据安全与隐私保护，所有操作均在用户设备上完成。它集成了RAG技术、开源AI模型，并支持笔记管理、文件分析、团队协作等功能。适用于个人知识管理、软件测试、数据分析及自然语言处理等多种场景，尤其适合注重隐私和高效工作的用户。 AI项目与工具 2025年06月12日 90 点赞 0 评论 228 浏览
Webifier Webifier是一款基于AI技术的网站构建工具，用户只需输入提示即可快速生成React网站，无需编程知识。支持实时编辑、代码导出、多平台部署及数据分析功能，适用于创业者、营销团队、开发者和个人品牌等多种场景，提升网站创建效率与灵活性。 AI项目与工具 2025年06月11日 62 点赞 0 评论 228 浏览
Unschooler.me Unschooler是由人工智能驱动的、个性化的视频课程，你可以与之互动并获得反馈。 你可以从字面上与视频对话，添加任何信息，并提交作业以获得人工智能导师的反馈。 教育学习 1970年01月01日 0 点赞 0 评论 227 浏览
Pika 2.2 Pika 2.2 是一款基于深度学习的AI视频生成工具，支持文本和图片输入，可生成最高10秒、1080p分辨率的高质量视频。其核心功能包括关键帧过渡技术（Pikaframes）和电影画幅比例支持，提升视频连贯性与专业感。适用于内容创作、广告制作、影视及教育等多个领域，操作简便，适合各类用户快速生成创意视频。 AI项目与工具 2025年06月12日 34 点赞 0 评论 226 浏览
AReaL AReaL-boba 是由蚂蚁技术研究院与清华大学联合推出的开源强化学习训练框架，具备高效训练、推理能力提升、低资源训练等核心功能。其 7B 模型在数学推理任务中表现突出，且支持大规模模型的低成本复现。框架集成 SGLang 推理系统，采用数据蒸馏与工程优化技术，提升训练效率。适用于教育、自然语言处理、智能体开发等领域，具有高度可复现性和开源特性。 AI项目与工具 2025年06月12日 46 点赞 0 评论 225 浏览
Shop AI Shop AI是一款集成了AI技术的购物助手，提供包括个性化购物建议、快速结账服务（Shop Pay）、实时订单追踪及奖励机制（Shop Cash）等功能。用户可以通过此应用享受长达12个月的免息分期付款，并通过购物赚取现金回馈。此外，它还具有高评价的移动应用程序，便于用户管理订单和享受便捷的购物流程。 AI项目与工具 2025年06月12日 55 点赞 0 评论 223 浏览
