ToRA是一系列集成工具的推理大型语言模型代理，旨在通过与工具交互解决复杂的数学推理问题。
Albert Bro是一个智能数学辅导工具，用户可以拍摄数学问题，获取逐步解决方案，并清晰地理解数学概念，旨在帮助用户轻松克服数学难题。该项目可在网页和iOS平台上使用。
一个旨在模拟OpenAI新发布的O1模型推理能力的项目，通过思维链和迭代推理来改进问题解决方案。它允许用户在复杂的推理任务上进行试验，提供有效的解决方案和概念验证。
微软推出的数学推理项目，旨在展示小型语言模型（SLM）在数学推理方面可以通过自我演化的深度思考（Deep Thinking）过程达到与大型模型相当甚至更好的性能。
来自清华团队开源的一个 AI 项目，通过强化学习技术训练出一个 7B 模型，在数学推理能力上超越 GPT-4o 以及 Llama-3.1 70B。
Gradio是一个强大的工具，旨在简化机器学习应用的构建和共享，提供用户友好的网络界面，使得任何人都能轻松与机器学习模型互动，无需复杂的编码知识。
一个开源项目，旨在实现 OpenAI O1 模型系列的简化版本，专注于通过链式思维和强化学习解决算术问题。该项目结合了最新的技术，使得用户能够更加高效地解决算术问题，并且通过强化学习不断提升模型的表现。
Android AI Assistant结合了GPT-3的强大功能，旨在提升用户的生活质量，使工作更高效，并带来乐趣。用户只需在Android设备上安装应用，即可随时随地使用GPT-3的强大能力，无需切换应用。
OpenThought ARC-AGI-2是一个开源项目，旨在构建认知核心，以解决人工智能领域中的各种挑战。该项目专注于开发能够自我改进和进行推理的智能系统，为推动人工智能的进步提供基础。
微软的Phi-4算是海外小参数模型的代表产品，具有140亿参数，数学能力超越GPT-4。该模型采用高质量的合成数据集和精选的有机数据，结合创新的后训练技术，展现出在各类基准测试中的超常表现。
超全的Python算法库，涵盖从算术分析到区块链再到数据结构的大量算法，适合学习、研究和项目开发。
