LongCat-Flash-Prover模型官网 - 美团开源的5600亿参数MoE形式化数学推理模型

采用混合专家迭代框架与HisPO强化学习算法稳定训练,引入防作弊机制保障推理严谨性,在MiniF2F-Test等基准测试中达成SOTA水平,Pass@32准确率93.9%、PutnamBench难题解决率28.9%,显著超越现有开源模型。

MoE模型数学大模型美团开源
MathGPT:好未来自主研发的国内首款数学领域专用大模型

MathGPT是好未来自主研发的国内首款数学领域专用大模型,用户仅需上传文字或图片形式的数学题,即可获得对话式解答反馈;也可通过「随机来一题」功能生成题目并获取解析,实现 “问 – 答 – 追” 的全流程交互。

AI平台模型AI讲题助手学而思AI数学大模型