数学大模型

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

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

MoE模型数学大模型美团开源

[推荐] 豆包网页版：支持AI聊天，AI图片生成，AI漫画生成，AI写作等

字节跳动开发的一款多功能人工智能工具，基于云雀模型（豆包大模型）构建。它不仅是一个AI聊天机器人，还具备多种功能，包括写作助手、英语学习助手、音乐生成、编程助理等。

AI写作平台AI图片生成AI漫画生成工具AI聊天助手

MathGPT：好未来自主研发的国内首款数学领域专用大模型

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

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