AI Math Solver是一个先进的多模态人工智能工具，能够通过上传照片或描述数学问题来逐步帮助用户解决数学问题。此外，用户还可以轻松保存和分享他们的数学笔记。
rStar-Math 系统采用了蒙特卡洛树搜索（MCTS）的方法，结合了基于 SLM 的数学策略模型和过程奖励模型（PPM），旨在提升数学问题的求解能力和深度思考能力。
利用大型语言模型（LLM）作为数学问题的黑箱求解器，为数学问题提供自动化解决方案，探索数学与人工智能的结合
