Goedel-Prover 是一款专注于自动化定理证明的开源大型语言模型。

OpenThinker-32B 是由 Open Thoughts 团队开发的一款开源推理模型。

Confucius-o1-14B是由网易有道团队开发的推理模型，基于Qwen2.5-14B-Instruct优化而成。

OKMath AI Math Solver 是一款先进的AI数学解题工具，旨在为学生提供准确的数学问题解决方案。

PRIME-RL/Eurus-2-7B-PRIME是一个基于PRIME方法训练的7B参数的语言模型，旨在通过在线强化学习提升语言模型的推理能力。

Teach Me Anything 是一个专注于提供多样化知识视频的在线学习平台。

YuLan-Mini是由中国人民大学AI Box团队开发的一款轻量级语言模型，具有2.4亿参数，尽管仅使用1.08T的预训练数据，但其性能可与使用更多数据训练的行业领先模型相媲美。

Math Tutor on Groq是一个由Groq驱动的AI数学家教项目，它利用8090的xRx框架、Whisper和Llama 3.3 70b模型以及Elevenlabs的TTS技术，以实时对话的方式回应学生的数学问题。

RLVR-GSM-MATH-IF-Mixed-Constraints数据集是一个专注于数学问题的数据集，它包含了多种类型的数学问题和相应的解答，用于训练和验证强化学习模型。

QwQ（Qwen with Questions）是一款由Qwen团队开发的实验性研究模型，旨在提升人工智能的推理能力。

AI Homework Helper是一个在线工具，旨在帮助学生解决他们的家庭作业问题。

FrontierMath是一个数学基准测试平台，旨在测试人工智能在解决复杂数学问题上的能力极限。

Uknow.AI是一款面向学生和家长的教育类APP，通过手机拍照即可识别数学题型并给出答案和解析，支持多种数学计算和练习方式，旨在提高学习效率和数学解题能力。

Photomath是一款教育类APP，它通过扫描数学问题，提供详细的解题步骤和解释，帮助用户理解数学概念。

Yuan2.0-M32-hf-int8是一个具有32个专家的混合专家(MoE)语言模型，其中2个是活跃的。

Yuan2.0-M32是一个具有32个专家的混合专家(MoE)语言模型，其中2个处于活跃状态。

Yuan2.0-M32是一个具有32个专家的混合专家(MoE)语言模型，其中2个是活跃的。

Qwen Math Demo 是一个专注于数学问题解答的人工智能模型，它利用先进的自然语言处理技术，能够理解和解决各种数学问题，提供准确的答案和解题过程。

MathGPT Pro 是一款先进的 AI 数学解题器，旨在为全球数百万学生提供快速准确的数学问题解决方案。

Math AI是一款利用人工智能技术提供数学问题解答的应用程序。

Numina Math 7B是由Numina组织开发的AI数学模型，专注于解决高难度的数学问题，特别是在数学竞赛领域。

这个GitHub仓库包含了训练和推理代码，用于复制我们在AI数学奥林匹克（AIMO）进展奖1中的获胜解决方案。

NuminaMath是一套为训练最先进数学语言模型（SOTA math LLMs）而设计的数据库和模型。

AI数学解题器是由数学AI和数学GPT模型（如GPT-4o）驱动的在线工具，旨在提供广泛的数学问题解决方案。

Mathstral 7B 是一个专注于数学和科学任务的模型，基于 Mistral 7B。

AI Math GPT Solver是一个由GPT-4o提供动力的在线数学问题解决平台，它覆盖了代数、微积分和几何等数学领域，集成了微软数学求解器等领先技术，提供快速、准确的解决方案。

AI Math Notes 是一个开源的交互式绘图应用程序，允许用户在画布上绘制数学方程。

Qwen2是一系列经过预训练和指令调整的模型，支持多达27种语言，包括英语和中文。

SnapXam是一个使用人工智能技术的数学学习工具，可以帮助用户理解和解决从算术到微积分的数学问题。

MathHandwriting是一个将手写的数学文本转换为LaTeX的API。

Nara AI是一款通过拍照解答数学和物理题的智能应用。

Mistral-22b-v.02 是一个强大的模型，展现出出色的数学才能和编程能力。

Grok-1.5是一种先进的大型语言模型,具有出色的长文本理解和推理能力。

Bytelearn是一款提供24/7人工智能辅导的免费数学学习平台。

Yi-9B是01.AI研发的下一代开源双语大型语言模型系列之一。

使用MathGPT Chrome插件，扫描任何网站上的数学问题并即时获取逐步和清晰的数学解答。

AI Math是一款在线免费的数学AI求解器，能够帮助您解决各种数学问题。

AutoMathText是一个广泛且精心策划的数据集,包含约200GB的数学文本。

Mathful是一个先进的数学AI解题器，可以帮助您更好地理解数学，找到数学答案，为数学考试做准备等。

AI Math是一个在线免费的数学AI解决方案，帮助您克服数学困难，提供99%准确的解决方案。