TAG

数学推理工具。

共收录 5 款与「数学推理」相关的 AI 工具，按站内热度排序；每张卡片可直达详情页查看定价、平台支持与同类对比。

Grok-1.5

Grok-1.5是x.ai推出的大型语言模型产品介绍站点，核心为对外披露该模型的技术特性、能力表现与迭代进展。站点提供128k长上下文处理能力的详细说明、数学与编码领域的基准测试数据、分布式训练框架的技术原理三大核心内容，面向AI技术从业者、模型研发人员、企业技术选型人员以及相关领域研究者，可用于了解模型技术参数、评估模型适配场景、参考技术实现路径、跟进大模型技术迭代方向等场景。

LLaDA是由中国人民大学与蚂蚁集团研究团队共同开发的扩散式文本生成大模型演示平台，核心基于8B参数规模、从零训练的新型扩散语言模型，区别于传统自回归生成逻辑，可实现多场景下的自然语言生成。平台支持数学推理计算、代码编写生成、多语言翻译、多轮对话交互等核心功能，面向AI研究人员、大模型开发者、语言技术爱好者、学生群体等用户，可用于新型生成模型技术调研、文本生成任务效果测试、跨领域语言应用原型验证等场景，帮助用户直观了解扩散式语言模型的技术特性与实际表现。

FrontierMath

FrontierMath是专注于人工智能数学推理能力评估的基准测试平台，由60余位数学家联合打造，核心用于衡量大语言模型等AI系统解决前沿复杂数学问题的能力上限。平台覆盖代数几何、数论、拓扑学、Zermelo-Fraenkel集合论等现代数学全领域问题，所有测试题均为未公开发表的原创内容，可规避训练数据泄露导致的测试结果失真问题。其目标用户包括AI研发团队、数学研究人员、高校AI相关专业师生，适用于AI数学推理能力迭代测试、前沿数学问题研究辅助、AI大模型能力横向对比评估等场景。

MAmmoTH-VL

MAmmoTH-VL是面向多模态推理领域的学术研究与应用支撑平台，核心面向多模态大模型研发人员、数学教育相关从业者、AI研究学者等群体。平台搭载基于指令调优优化的多模态大语言模型，可支撑多模态数学题解析、跨模态推理任务评测、推理过程可解释性分析三类核心需求。用户可通过平台体验模型对图文结合数学题的解答过程，也可获取开源数据集用于相关模型训练，还能借助基准测试结果对比不同多模态模型的推理能力，适合学术研究、教育工具开发、多模态模型迭代等场景使用。 · 开源

Open Thoughts

Open Thoughts是由Bespoke Labs和DataComp社区主导的开源推理数据集聚合平台，核心定位是为人工智能领域提供可公开使用的高质量推理数据集，助力小模型推理能力训练。平台具备多领域数据集分类检索、数据集质量标注说明、数据集下载权限开放、训练适配指导、社区贡献通道五大核心功能，主要面向AI研究人员、算法开发工程师、高校AI专业师生、模型训练从业者、AI领域教育工作者等群体，可应用于小模型推理能力优化、数学推理模型训练、代码生成模型迭代、AI推理相关学术研究、AI教学实践案例搭建等多个场景，所有公开资源遵循开源协议，可满足非商用及合规商用的研究开发需求。