rStar-Math 系统采用了蒙特卡洛树搜索（MCTS）的方法，结合了基于 SLM 的数学策略模型和过程奖励模型（PPM），旨在提升数学问题的求解能力和深度思考能力。
结合吴方法的DeepMind数学模型，能够解决国际数学奥林匹克竞赛中的几何题，表现超越人类金牌得主。
基于LLaMa 2和Code Llama训练的数学领域的开源LLM，发布了7B、13B、34B、70B四个版本的模型，同时发布了训练数据集。能力评分跟WizardMath接近。
AIMath.com 是一个免费的在线数学AI求解器，旨在帮助用户克服数学困难。用户可以通过输入问题或上传文档/图片与AI Math分享数学问题，AI会提供针对具体问题的专家解决方案，同时提供详细解释，帮助用户理解并解决类似的数学问题。
Segmentle是一款独特的AI数字游戏，通过重新排列网格中的数字，确保每列的总和与上方显示的目标数字相匹配。利用ChatGPT的AI技术，该游戏提供动态难度调整，适合各种技能水平的玩家，旨在提高数学能力和问题解决能力。
Nova是一个由ChatGPT驱动的革命性AI聊天机器人，能够在多个平台上为用户提供智能对话和帮助。用户只需在其首选设备上下载应用程序，便可随时随地提问。
Socratic是一个学习平台，通过提供答案、数学解题器、解释和视频，帮助学生解决作业问题，覆盖数学、科学、历史、英语等多个学科。用户只需拍摄作业问题的照片，应用程序便会提供相关学习资源，利用Google AI，确保推荐最适合的学习材料。Socratic还与教师合作提供视觉解释，帮助用户理解各学科的重要概念。
MathSolverAI 是一个综合性的工具，可用于解决各种数学问题，从基础算术到复杂方程。它采用机器学习算法来识别手写内容并求解方程。
MyMathSolver.ai 是一款由 Math GPT 驱动的 AI 数学求解器，提供免费的在线访问，能够解决复杂的数学问题和文字题，确保提供详细的逐步解决方案，促进互动学习。
"Claude 3"是为工作相关任务特别设计的下一代人工智能工具，强调其在操作中的安全性和准确性。这个先进的AI系统通过claude.ai访问，提供了一个多功能平台，用户可以利用各种功能，包括图像分析和处理长文档。
该模型是通过应用数学领域的专家协同构建的，旨在解决小模型在面对与训练数据不同的问答时的脆弱性。
LeanDojo 是一个基于检索增强的语言模型用于定理证明的项目，具备全自动化的数学推理能力，并可与现有的数学工具和资源集成。
这是一个关于自我修正大型语言模型及其自动反馈机制的研究论文集合，旨在为研究人员和开发者提供最新的参考资料和研究进展。
