数学

1. 首页
2. 数学

讯飞星火X1

讯飞星火X1是科大讯飞推出的基于全国产算力平台训练的大型语言模型，具备深度推理和“慢思考”能力，适用于数学、代码、逻辑推理、文本生成等任务。支持快慢思考统一模型，部署简便，算力需求低。广泛应用于教育、医疗、健康管理等领域，提供精准的智能服务与解决方案。

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

AReaL

AReaL-boba 是由蚂蚁技术研究院与清华大学联合推出的开源强化学习训练框架，具备高效训练、推理能力提升、低资源训练等核心功能。其 7B 模型在数学推理任务中表现突出，且支持大规模模型的低成本复现。框架集成 SGLang 推理系统，采用数据蒸馏与工程优化技术，提升训练效率。适用于教育、自然语言处理、智能体开发等领域，具有高度可复现性和开源特性。

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

Solvely.ai

Solvely.ai是一款以AI驱动的数学学习平台，提供从基础到高级数学问题的即时解答，支持文本、图片和截图提问，并具备自动绘图和个性化辅导功能。该平台通过图像识别技术优化学习体验，提供逐步解决方案和互动式学习内容，适用于K-12至高等教育阶段的学生及教师。

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

OpenMath

OpenMath-Nemotron是由英伟达推出的一系列开源数学推理模型，专为解决复杂数学问题设计，涵盖从基础到奥林匹克级别的题目。其基于大规模数据集OpenMathReasoning训练，具备长推理、多模式推理和工具集成推理能力。模型支持多种应用场景，包括数学教育、竞赛训练、学术研究和工业应用。项目提供GitHub、HuggingFace和arXiv等资源，适用于需要高精度数学推理的AI系统开发

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

Luzia

Luzia是由西班牙初创公司Amperity开发的一款人工智能聊天机器人，主要服务于西语和葡语市场。它具备个性化设计和人性化交流的特点，能够模拟不同角色以适应各种对话场景。此外，Luzia还集成了数学问题解答、PDF阅读器和图像识别等多种实用工具，增强了其实用性和用户体验。

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

Step-1V

覆盖了从个人使用到企业级应用的多个方面的多模态大模型。

Ai平台模型 2026年06月24日 0 点赞 0 评论 495 浏览

QANDA

QANDA是一款由韩国Mathpresso公司开发的AI学习应用，主要面向学生，提供数学及其他学科的即时解答与详细解析。用户可通过拍照或输入问题，获取分步解答、常见错误提示及个性化辅导。应用还支持多语言、学习数据分析和类似题目推荐，适用于家庭作业、考试复习、日常学习及教学辅助等多种场景，帮助用户提升学习效率和理解能力。

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