数学
  1. 首页
  2. 数学

列表

Mathtutor on Groq

Mathtutor on Groq

Mathtutor on Groq 是一款基于 Groq 架构的 AI 辅导工具，通过语音识别功能接收数学问题，结合强大的数学引擎提供实时解题过程与答案。其主要功能包括语音输入、LaTeX 公式渲染、高精度计算及自然语言处理支持，适用于代数、微积分等领域的学习与教学辅助。此外，它还集成了 xRx 框架、Whisper 和 Llama 模型，确保高效且精准的问题解决能力。Mathtutor on G
AI项目与工具 2025年06月12日
SocraticLM

SocraticLM

SocraticLM 是一款基于苏格拉底教学法的人工智能模型，由中科大与科大讯飞联合开发。它通过提问引导学生主动思考，具备多轮对话能力和个性化教学功能。模型在 SocraTeach 数据集上训练，教学性能优于 GPT-4，整体质量提升 12%。其综合评估系统涵盖五项教学维度，适用于数学教学、个性化辅导及在线教育平台，为教育技术发展提供了新思路。
AI项目与工具 2025年06月12日
QANDA

QANDA

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

rStar

rStar-Math是由微软亚洲研究院研发的数学推理工具，采用蒙特卡洛树搜索（MCTS）驱动的深度思考机制，使小型语言模型在数学推理方面达到或超越大型模型水平。通过代码增强的推理轨迹生成、过程偏好模型（PPM）训练和四轮自我进化策略，显著提升了模型的准确率与自我反思能力。该工具已在多个数学基准测试中取得优异成绩，适用于教育、科研、金融、工程和数据分析等多个领域。
AI项目与工具 2025年06月12日
九章随时问

九章随时问

九章随时问是学而思推出的AI数学学习工具，支持7×24小时答疑服务，提供拍照、语音、文字等多种提问方式。采用苏格拉底式教学法，通过分步引导和启发式提问，培养学生独立思考能力。系统能精准识别薄弱知识点，推荐相应教学资源，覆盖小初高全学段，适用于自主学习、家庭辅导、教学辅助等多场景，提升学习效率与教育公平性。
AI项目与工具 2025年06月12日
Sky

Sky

Sky-T1是由加州大学伯克利分校NovaSky团队开发的开源推理AI模型，具备高性价比和强大推理能力。其训练成本仅450美元，数据来源经过优化处理，可在数学、编程和科学领域表现出色。模型支持用户从零复现，适用于教育、科研及软件开发等场景。在MATH500和LiveCodeBench测试中，Sky-T1表现优于部分早期OpenAI模型，展现出良好的实用价值。
AI项目与工具 2025年06月12日
讯飞星火X1

讯飞星火X1

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

CoachON

CoachON是一款基于AI大模型的数学学习平台，专为中小学生设计。它可根据学生特点定制学习计划，提供AI辅导老师实时答疑，结合海量题库、教学视频和模拟考试等功能，帮助学生高效提升数学能力。平台还支持学习社区互动和数据可视化展示，助力个性化学习与持续进步。
AI项目与工具 2025年06月12日
Step R

Step R

Step R-mini是一款由阶跃星辰推出的推理模型，具备主动规划、尝试与反思能力，适用于数学、逻辑推理、代码开发及文学创作等多种场景。模型基于慢思考机制，支持深度推理与多步骤验证，表现优异。其技术特点包括强化学习、数据质量优化、测试时计算扩展及模型规模增长，实现文理兼修，广泛应用于教育、科研、企业办公等领域。
AI项目与工具 2025年06月12日
k1.5

k1.5

k1.5 是月之暗面推出的多模态思考模型，具备强大的数学、代码、视觉推理能力。在 short-CoT 模式下，性能超越主流模型 550%，在 long-CoT 模式下达到 OpenAI o1 水平。支持文本与图像的联合处理，适用于复杂推理、跨模态分析、教育、科研等领域。通过长上下文扩展和策略优化，提升推理效率与准确性。
AI项目与工具 2025年06月12日