产品库

快速查找定理

Moogle是一个用于快速查找定理的网站。它提供强大的搜索功能，帮助用户更快地找到所需的数学定理。Moogle还提供定理的详细介绍和应用示例，方便用户理解和应用。Moogle是数学学习和研究的强大工具。

智能解决数学问题，提升学习效率

AI数学解题器是由数学AI和数学GPT模型（如GPT-4o）驱动的在线工具，旨在提供广泛的数学问题解决方案。它利用先进的人工智能技术，为学生和教师提供详尽的分步解答，增强了对数学概念的理解和解题能力。该产品背景是数学学习中对高效解题工具的需求，定位于免费提供高质量的教育支持。

开放数学语言模型

Llemma是一个开放的数学语言模型，提供数据和训练代码。它可以用于数学相关的任务，如定理证明、数学文本生成等。Llemma具有高质量的数学训练数据，可以帮助用户进行数学研究和应用开发。Llemma的优势在于其开放性和灵活性，用户可以根据自己的需求进行定制和扩展。Llemma的定价信息请参考官方网站。

AI辅助SAT数学学习

Math99th是一款AI辅助的数字SAT数学学习平台，提供超过50,000个个性化测试题，针对765-800分数段进行精准备考训练，还有详尽的分析数据和个性化辅导支持。产品由ICPC世界总决赛选手、数学奥林匹克奖牌获得者、亚马逊、阿里巴巴、麦肯锡等公司的校友共同打造。

Goedel-Prover 是一款开源的自动化定理证明模型，专注于数学问题的形式化证明。

Goedel-Prover 是一款专注于自动化定理证明的开源大型语言模型。它通过将自然语言数学问题翻译为形式化语言（如 Lean 4），并生成形式化证明，显著提升了数学问题的自动化证明效率。该模型在 miniF2F 基准测试中达到了 57.6% 的成功率，超越了其他开源模型。其主要优点包括高性能、开源可扩展性以及对数学问题的深度理解能力。Goedel-Prover 旨在推动自动化定理证明技术的发展，并为数学研究和教育提供强大的工具支持。

免费数学学习应用

Math-X是一款免费的数学学习应用。它提供无限的数学学习资源，让你可以按照自己的速度探索数学的无限世界。无论是解决普通题目还是复杂的应用题，Math-X都能助你轻松应对。它提供实时的解答，24/7在线服务。同时，它还提供全面的课本解析，让你不仅能得到答案，还能理解解题过程。Math-X将释放你的数学超能力！

SnapXam是一个数学虚拟助手，可帮助您更快、更轻松地学习数学。具有步骤的数学求解器。

SnapXam是一个使用人工智能技术的数学学习工具，可以帮助用户理解和解决从算术到微积分的数学问题。它节省了理解数学概念和查找解释视频的时间。用户可以以更好的方式解决问题，并节省大量时间。

数学作为黑箱的深度学习模型

MathBlackBox是一个深度学习模型，旨在探索数学问题解决的黑箱方法。它使用VLLM或其他OpenAI兼容的方法，通过Huggingface工具包和OpenAI进行推理，支持在Slurm环境下运行，并能够处理多种数据集。该项目目前处于早期阶段，需要充分测试后才能部署到实际产品中。

让数学变得简单

Amy 是一个致力于帮助人们轻松学习数学的在线平台。它提供了各种数学学习资源，包括教程、练习题和解答等。Amy 通过简化数学概念和提供实用的学习工具，让数学变得容易理解和应用。

你的数学助手

Photo2math是一款数学助手APP，可以帮助用户解决数学问题。它提供了多种功能，包括解决数学题目、上传图片解题、手写公式解题等。Albert Bro可以帮助学生和教师更轻松地学习和教授数学知识。

24/7人工智能辅导，真实学习，免费数学辅导

Bytelearn是一款提供24/7人工智能辅导的免费数学学习平台。它通过算术、几何、代数、微积分等多个阶段的学习，帮助学生真实学习并在数学考试中取得优异成绩。Bytelearn的独特之处在于，它不仅仅给出答案，还会引导学生逐步理解和解决问题，确保学生真正掌握数学知识。Bytelearn还提供专为学校而设计的解决方案，支持一对一的人工智能辅导、自动差异化学习、有针对性的反馈，让学习过程更加有趣和支持性。

数学 7b 模型，帮助解决数学问题。

Internlm2 Math 7b 是一个基于 Hugging Face 平台的数学模型，主要用于解决数学问题。它能够处理各种数学题目，包括代数、几何、概率统计等。使用该模型可以提供准确的数学计算和解答，帮助用户学习和理解数学知识。Internlm2 Math 7b 提供简单易用的 API 接口，可以方便地集成到其他应用程序中。该模型基于深度学习技术，具有较高的准确性和可靠性。它适用于教育领域的数学辅助学习、作业辅导等场景。

用于强化学习验证的数学问题数据集

RLVR-GSM-MATH-IF-Mixed-Constraints数据集是一个专注于数学问题的数据集，它包含了多种类型的数学问题和相应的解答，用于训练和验证强化学习模型。这个数据集的重要性在于它能够帮助开发更智能的教育辅助工具，提高学生解决数学问题的能力。产品背景信息显示，该数据集由allenai在Hugging Face平台上发布，包含了GSM8k和MATH两个子集，以及带有可验证约束的IF Prompts，适用于MIT License和ODC-BY license。

将手写的数学文本转换为LaTeX的API。

MathHandwriting是一个将手写的数学文本转换为LaTeX的API。它提供了一种简单、高效的方式，将手写的数学方程转换为数字格式，方便学生和教师在数字环境中处理和共享数学内容。MathHandwriting通过使用AI技术，实现了将手写的数学方程转换为LaTeX格式的功能，从而提高了数学学习的效率。

Nara AI | 通过拍照解答数学和物理题

Nara AI是一款通过拍照解答数学和物理题的智能应用。它能快速准确地解答各种难题，提供易于理解的解题步骤和解析。Nara AI已经在印度尼西亚被数百名学生使用，受到广泛好评。价格信息请访问官方网站。

交互式数学导师，解决问题轻松快捷

MathTutor 是一款交互式数学导师，可以引导您解决数学问题。它能够提供问题求解过程中的指导，帮助您更轻松地理解和解决数学难题。MathTutor 提供了广泛的数学功能，涵盖了各个年龄段和难度级别的数学问题。无论您是学生、家长还是教师，MathTutor 都能为您提供个性化的数学辅导。MathTutor 还具有智能纠错功能，确保您的数学推理过程准确无误。它是一个非常实用和高效的数学学习工具。MathTutor 定价合理，提供多种订阅选项，适应不同用户的需求。无论您是想加强数学基础、提高数学水平，还是需要解决特定的数学问题，MathTutor 都是您的最佳选择。

通过扫描问题提供数学解题步骤和解释。

Photomath是一款教育类APP，它通过扫描数学问题，提供详细的解题步骤和解释，帮助用户理解数学概念。该应用支持从小学至大学各个阶段的数学学习，包括代数、几何、三角学、统计学和微积分等。Photomath不仅帮助用户解决作业问题，还通过提供学习资源和文章，帮助用户克服数学焦虑，提高学习效率。

AI 数学解题器，帮助学生快速准确解答各种数学问题。

MathGPT Pro 是一款先进的 AI 数学解题器，旨在为全球数百万学生提供快速准确的数学问题解决方案。该产品能够处理各种数学领域的问题，如代数、方程、导数和积分，帮助学生提高学习效率和成绩。其背景技术结合了最新的人工智能算法，确保了高效和准确性，适合任何需要解答数学问题的用户。MathGPT Pro 提供了直观的用户界面，支持图像识别和语音输入，方便用户随时随地进行数学计算。

在线AI数学辅导

Maths.ai是最好的基于AI的在线数学辅导工具，可以立即回答您所有的数学疑问。通过AI即时获得个性化的数学帮助。

数学推理LLM

MathCoder是一款基于开源语言模型的数学推理工具，通过fine-tune模型和生成高质量的数据集，实现了自然语言、代码和执行结果的交替，提高了数学推理能力。MathCoder模型在MATH和GSM8K数据集上取得了最新的最高分数，远远超过其他开源替代品。MathCoder模型不仅在GSM8K和MATH上超过了ChatGPT-3.5和PaLM-2，还在竞赛级别的MATH数据集上超过了GPT-4。

在线数学助手

Numberly是一个在线数学助手插件，可以实时解决数学方程和度量单位转换。它可以在任何输入框中自动计算并显示结果，无需离开浏览器。Numberly还可以帮助专业人士和学生减少错误，提高计算准确性。它还提供内联解决方案，方便用户在电子邮件、社交媒体、文档和电子表格中进行数学计算。

提高大学生自学效率和质量的智能学习助手

夸克App推出的AI学习助手基于自研大模型，通过智能化的解题思路和讲解方式，提升大学生自学效率和质量。采用夸克宝宝的虚拟形象进行题目讲解，提供“考点分析”“详解步骤”“答案总结”等详细内容。并通过夸克网盘实现学习资料备份和使用，以及夸克扫描王提取核心复习内容。覆盖英语等学科的选择题、填空题、阅读题等常考题型，后续将加入数学等学科。

数学领域的开源AI模型，助力数学竞赛。

Numina Math 7B是由Numina组织开发的AI数学模型，专注于解决高难度的数学问题，特别是在数学竞赛领域。该模型在AI数学奥林匹克竞赛中获得了第一名，显示出其在解决复杂数学问题上的强大能力。Numina是一个非盈利组织，致力于推动数学领域人类和人工智能的发展。

构建数学基础模型的数学中心语料库

MathPile是一个包含约95亿个标记的数学中心语料库，从教科书（包括讲座笔记）、arXiv、维基百科、ProofWiki、StackExchange和网页中汲取数学内容，适用于K-12、大学、研究生水平和数学竞赛。MathPile的数据质量高，并且有着丰富的数据文档，以增强透明度和给用户灵活的使用数据的能力。在授权方面，MathPile遵循BY-NC-SA 4.0许可协议，同时计划很快发布一个商业可用版本。

数学AI求解器

AI Math是一款在线免费的数学AI求解器，能够帮助您解决各种数学问题。它支持解决算术、代数、几何、三角、微积分、组合、统计概率等各类数学问题。通过AI Math，您可以获得准确的解答，并且详细的步骤说明能够帮助您更好地理解和掌握数学知识。AI Math具有99%的准确率，支持30种语言，随时随地提供24/7的在线服务。

强大的AI数学解题器，提供准确答案和逐步解决方案。

OKMath AI Math Solver 是一款先进的AI数学解题工具，旨在为学生提供准确的数学问题解决方案。该产品利用强大的AI技术，结合超过1000万道数学练习题的庞大数据库，通过自训练的AI模型和多重交叉验证算法，确保每个问题的解答都是准确无误的。其主要优点包括高准确率、详细的逐步解答、以及广泛的数学问题覆盖范围。OKMath不仅适用于学生的学习和作业辅导，也适用于教师的教学辅助和家长的辅导。该产品的定位是为所有水平的学习者提供一个全面的数学学习工具，帮助他们更好地理解和掌握数学知识。

智能AI解答数学问题，帮助你更好地完成作业

Mathly是一个基于人工智能的数学作业帮助工具。通过拍照上传问题，我们的AI可以解答数学问题并以易懂的方式解释答案。不仅如此，我们的AI还能回答你的追问，并生成类似的问题以检查你的理解。Mathly将帮助你更轻松地学习数学，理解问题并提高成绩。请通过官方网址了解更多信息。

数学AI解决方案

AI Math是一个在线免费的数学AI解决方案，帮助您克服数学困难，提供99%准确的解决方案。它可以处理算术、代数、几何、三角、微积分、组合、统计概率等各种数学问题。AI Math不仅提供答案，还通过逐步解释帮助您理解解决过程。您可以随时随地访问AI Math，它是教育者和学生的强大支持系统。

扫描作业和解决数学问题，照片求解器，物理化学，雅思托福GRE

Homeworkify是您的终极作业助手，旨在帮助各年龄段的学生轻松完成作业。无论您在数学问题、科学项目还是论文写作方面遇到困难，Homeworkify都能让您的学术之旅更加顺利和愉快。Homeworkify拥有多种功能和用户友好的界面，是学生追求卓越学业的完美伴侣。

TheoremExplainAgent 是一个用于生成多模态定理解释视频的智能系统。

TheoremExplainAgent 是一款基于人工智能的模型，专注于为数学和科学定理生成详细的多模态解释视频。它通过结合文本和视觉动画，帮助用户更深入地理解复杂概念。该产品利用 Manim 动画技术生成超过 5 分钟的长视频，填补了传统文本解释的不足，尤其在揭示推理错误方面表现出色。它主要面向教育领域，旨在提升学习者对 STEM 领域定理的理解能力，目前尚未明确其价格和商业化定位。