这是最大的约 100 万个数学竞赛问题解决方案对的集合，难度从初级挑战赛到数学奥林匹克预选赛不等。
Socratic是一个学习平台，通过提供答案、数学解题器、解释和视频，帮助学生解决作业问题，覆盖数学、科学、历史、英语等多个学科。用户只需拍摄作业问题的照片，应用程序便会提供相关学习资源，利用Google AI，确保推荐最适合的学习材料。Socratic还与教师合作提供视觉解释，帮助用户理解各学科的重要概念。
iGSM是一个用于生成小学数学问题数据集的工具，能够创建不同难度级别的数学问题，并评估解决方案的正确性。该工具旨在帮助研究人员分析语言模型在数学推理方面的能力，同时创建可用于教育和研究的数据集。
一个开源项目，旨在实现 OpenAI O1 模型系列的简化版本，专注于通过链式思维和强化学习解决算术问题。该项目结合了最新的技术，使得用户能够更加高效地解决算术问题，并且通过强化学习不断提升模型的表现。
Albert Bro是一个智能数学辅导工具，用户可以拍摄数学问题，获取逐步解决方案，并清晰地理解数学概念，旨在帮助用户轻松克服数学难题。该项目可在网页和iOS平台上使用。
maths.ai 是一个由人工智能驱动的数学辅导工具，旨在模拟友好、耐心的数学和科学老师，帮助学生解决课后问题、支持家庭教育的孩子，或满足任何对数学问题感到好奇的人的需求。
Tree of Thoughts (ToT) 是一个强大而灵活的算法，能将模型推理能力提升多达70%。该插件式版本允许用户连接自己的模型，体验超智能的推理能力。
Intel的LLM加速库，旨在通过使用Intel显卡和带NPU的CPU来加速主流深度学习框架的运行。
Gemini是谷歌最大的AI模型，旨在通过加速人类进步和改善生活给人类和社会带来巨大利益。它在多个领先基准上表现出色，支持不同尺寸的优化：Ultra、Pro和Nano。Gemini从零开始构建为多模态，能够理解、操作和结合文本、代码、音频、图像和视频等不同类型的信息。
LLaMA-O1 是一个大型推理模型框架，专为 PyTorch 和 HuggingFace 设计，支持训练、推理和评估。它集成了蒙特卡洛树搜索（MCTS）、自我对弈强化学习、PPO 和类似 AlphaGo Zero 的双策略范式，适用于大型语言模型的开发和应用。
本项目对链式思维推理进行了全面的文献回顾，分析了AI推理技术的最新进展，讨论了未来方向和开放挑战，并汇编了该领域的关键论文和贡献。
