数学推理

Grok-1.5

x.ai

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

MAmmoTH-VL

mammoth-vl.github.io

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

LLaDA

ml-gsai.github.io

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