数学竞赛辅助工具

谷歌研究出一套语法，将几何数学题转化成标准符号语言，利用共享知识搜索树群来解题，过程中用到Gemini微调模型。

结合吴方法的DeepMind数学模型，能够解决国际数学奥林匹克竞赛中的几何题，表现超越人类金牌得主。

rStar-Math 系统采用了蒙特卡洛树搜索（MCTS）的方法，结合了基于 SLM 的数学策略模型和过程奖励模型（PPM），旨在提升数学问题的求解能力和深度思考能力。

Goat是一个经过微调的LLaMA模型，专注于数学运算，特别是在算术任务上表现优于GPT-4。它在大数加法和减法上达到了近乎完美的准确性，并通过监督微调提升了算术任务的性能，适合在24GB VRAM GPU上使用LoRA进行训练。

一个开源项目，旨在实现 OpenAI O1 模型系列的简化版本，专注于通过链式思维和强化学习解决算术问题。该项目结合了最新的技术，使得用户能够更加高效地解决算术问题，并且通过强化学习不断提升模型的表现。

Quiz Genie 是一个在线工具，用户只需输入测验主题，就能在一分钟内生成相关问题，帮助教师和学生轻松创建测验。它旨在提升学习效率，简化测验设计过程，适用于各种教育场景。