首页美团发布560亿参数的LongCat模型，为开源数学推理树立了新标杆
随着大型语言模型向专业领域拓展，美团推出了一项引人注目的解决方案，引起了学术界和产业界的广泛关注。
3月21日，美团正式发布了大规模数学推理模型LongCat-Flash-Prover。这一拥有5677亿参数的强大系统，采用了先进的MoE（专家混合）架构，并针对处理高度复杂的形式数学证明进行了专门优化。
在评估逻辑推理能力的顶级基准测试中，LongCat-Flash-Prover展现出了卓越的性能：
创纪录的表现：在 MiniF2F-Test 数据集上，该模型取得了高达97.1%的得分，仅需 72 次推理尝试。
攻克难题：在PutnamBench数据集中的挑战题中，成功解决了41.5%。这两项成果均创下了新的全球最先进水平（SOTA）纪录。
为了使大型模型具备数学家的精准度，美团实施了多项关键技术创新：
减少幻觉：引入了基于抽象语法树（AST）的多阶段验证流程，并整合了Lean4形式语言，有效将AI推理中的逻辑错误和“幻觉”降至最低。
先进训练方法：为解决MoE模型在长时效任务中常见的不稳定性问题，美团部署了其专有的HisPO算法。该方法结合定理一致性检查，可防止强化学习过程中的奖励作弊。
优化架构：该模型总参数数达5600亿，在保持深度知识库的同时，MoE结构 确保了高效且灵活的推理能力。
美团已在 GitHub 和 Hugging Face 上将该模型及其源代码完全开源。
随着LongCat-Flash-Prover的发布
相关文章
Meta 希望你的下一个智能设备搭载 Muse 功能
Meta 的 Muse 是一个处理旅行预订、表单提交和购物的 AI 助手，已获得广泛采用，但一项新举措可能特别吸引开发者和硬件爱好者。周五，Meta 推出了 Muse Gadgets，这是一个开源项目，使开发者能够创建与 Muse 集成的定制硬件。Meta 正在发布开源固件和 Linux 软件开发工具包（SDK），以及 starter 项目概念。这些概念包括为 Muse 添加彩色电子墨水显示屏，或将软件嵌入 HDMI 棒以实现电视连接。限制很少。用户可以部署低成本爱好者计算机，如 Rasp
Wan-Streamer v0.2 实现超低延迟 AI 聊天
随着现代技术的飞速发展，人机交互正变得愈发普遍。传统的视频通话常常面临卡顿、延迟以及音视频不同步等问题。通义实验室最新发布的 Wan-Streamer v0.2 彻底克服了这些挑战，实现了真正的“面对面”自然交流，响应延迟仅为 550 毫秒。Wan-Streamer v0.2 是一个全新的端到端多模态理解与生成模型。它在单个 Transformer 模型中集成了“听、看、说、演”功能，使 AI 能够像人类一样实时感知并回应对话。这意味着无论是语音、文本还是视频，AI 都能即时理解并生成恰当的回应
Meta 加入台积电和美光，为新型服务器配备旧款内存
随着人工智能在全球范围内的采用加速，下一代 DDR5 内存正经历严重的供应短缺。为了避免 AI 数据中心部署出现延误，Meta 与台积电（TSMC）和美光（Micron）等行业领导者合作，开发了一种突破性的过渡解决方案。这项创新使得原本专为 DDR5 设计的先进 AI 服务器能够与较旧的 DDR4 模块无缝协同工作。该系统被称为“弗兰肯斯坦”（Frankenstein）配置，在现实世界测试中表现出卓越的稳定性，为突破当前的供应链瓶颈提供了可行的出路。弥合硬件鸿沟DDR5 与 DDR4 之间的向后
相关专题推荐
设计与艺术
顶级AI插画工具：更快地创作编辑类场景和封面插图
2026年最新高评分AI插画工具：我们精心挑选的这份清单汇集了功能强大的顶级工具，助您快速创作令人惊艳的编辑场景和引人注目的封面艺术。每款工具都经过了严格的实际测试，并提供了免费版与付费版的对比，帮助您找到最适合您工作流程的工具。 立即尝试这些必试解决方案，释放您的AI优势，提升创作效率。立即访问 XIX.AI 探索更多。
10 个工具
xix.ai
教育与学习
备考首选的顶尖AI辅导老师：练习数学、科学和英语
2026年最新、评分最高的考试备考AI辅导工具现已登陆XIX.AI！我们精心筛选的这份清单汇集了多款功能强大、颠覆传统的工具，提供免费与付费版本的对比、实际测试以及每周更新的排行榜。它们能帮助你提升写作效率、简化复杂主题的学习，并释放你的学术潜能。 立即探索，发现最适合您的备考工具，今天就开始创作，释放您的AI优势！
10 个工具
xix.ai
金融
用于个人财务管理的 AI 预算规划工具
2026 年最新最佳顶级评分 AI 预算规划工具，专为个人财务管理打造，现已登陆 XIX.AI！本精选合集收录了强大且具颠覆性的解决方案，助您开展实际测试、理解消费习惯，并制定个性化计划以提升生产力。享受免费与付费版的对比及详细排名。这些必试工具旨在简化财务管理，助您释放 AI 优势。立即探索！
11 个工具
xix.ai
健康养生
AI睡眠追踪助手：通过养成更好的睡前习惯来促进身体恢复
2026年最新精选高评分AI睡眠追踪助手，助您实现最佳恢复效果。这份全面更新的每周指南汇集了强大的工具，提供实际测试结果、免费与付费版本对比以及详细排名，助您找到必试的解决方案，从而提升睡眠质量并养成更好的就寝习惯。 立即访问 XIX.AI，解锁您的AI优势。
10 个工具
xix.ai
数据分析
用于产品和收入分析的 AI SQL 辅助工具
2026年最新、最受欢迎、评分最高的AI SQL辅助工具，助力产品与营收分析！ XIX.AI 精心遴选了一系列功能强大、颠覆性的必试工具，这些工具均经过每周更新的排名体系进行实战测试。它们能通过加速数据分析、简化复杂查询并生成精准洞察，帮助用户显著提升工作效率，从而推动更明智的商业决策。立即探索，发现最适合您的工具，释放您的AI优势！
14 个工具
xix.ai
教育与学习
最佳的、兼具教学功能的AI作业助手：学习概念，而不仅仅是答案
2026年最新最佳高评分AI作业助手：不仅提供答案，更传授核心概念。专为学生打造的强大工具，精选必试清单，每周更新，免费与付费版本对比，真实使用测试，精准排名，助您充分释放学习潜能。立即探索，发现最适合您的工具，让学习更高效。
10 个工具
xix.ai
评论 (0)
0/500
随着大型语言模型向专业领域拓展，美团推出了一项引人注目的解决方案，引起了学术界和产业界的广泛关注。
3月21日，美团正式发布了大规模数学推理模型LongCat-Flash-Prover。这一拥有5677亿参数的强大系统，采用了先进的MoE（专家混合）架构，并针对处理高度复杂的形式数学证明进行了专门优化。
在评估逻辑推理能力的顶级基准测试中，LongCat-Flash-Prover展现出了卓越的性能：
创纪录的表现：在 MiniF2F-Test 数据集上，该模型取得了高达97.1%的得分，仅需 72 次推理尝试。
攻克难题：在PutnamBench数据集中的挑战题中，成功解决了41.5%。这两项成果均创下了新的全球最先进水平（SOTA）纪录。
为了使大型模型具备数学家的精准度，美团实施了多项关键技术创新：
减少幻觉：引入了基于抽象语法树（AST）的多阶段验证流程，并整合了Lean4形式语言，有效将AI推理中的逻辑错误和“幻觉”降至最低。
先进训练方法：为解决MoE模型在长时效任务中常见的不稳定性问题，美团部署了其专有的HisPO算法。该方法结合定理一致性检查，可防止强化学习过程中的奖励作弊。
优化架构：该模型总参数数达5600亿，在保持深度知识库的同时
美团已在 GitHub 和 Hugging Face 上将该模型及其源代码完全开源。
随着LongCat-Flash-Prover的发布
Meta 希望你的下一个智能设备搭载 Muse 功能
Meta 的 Muse 是一个处理旅行预订、表单提交和购物的 AI 助手，已获得广泛采用，但一项新举措可能特别吸引开发者和硬件爱好者。周五，Meta 推出了 Muse Gadgets，这是一个开源项目，使开发者能够创建与 Muse 集成的定制硬件。Meta 正在发布开源固件和 Linux 软件开发工具包（SDK），以及 starter 项目概念。这些概念包括为 Muse 添加彩色电子墨水显示屏，或将软件嵌入 HDMI 棒以实现电视连接。限制很少。用户可以部署低成本爱好者计算机，如 Rasp
Wan-Streamer v0.2 实现超低延迟 AI 聊天
随着现代技术的飞速发展，人机交互正变得愈发普遍。传统的视频通话常常面临卡顿、延迟以及音视频不同步等问题。通义实验室最新发布的 Wan-Streamer v0.2 彻底克服了这些挑战，实现了真正的“面对面”自然交流，响应延迟仅为 550 毫秒。Wan-Streamer v0.2 是一个全新的端到端多模态理解与生成模型。它在单个 Transformer 模型中集成了“听、看、说、演”功能，使 AI 能够像人类一样实时感知并回应对话。这意味着无论是语音、文本还是视频，AI 都能即时理解并生成恰当的回应
Meta 加入台积电和美光，为新型服务器配备旧款内存
随着人工智能在全球范围内的采用加速，下一代 DDR5 内存正经历严重的供应短缺。为了避免 AI 数据中心部署出现延误，Meta 与台积电（TSMC）和美光（Micron）等行业领导者合作，开发了一种突破性的过渡解决方案。这项创新使得原本专为 DDR5 设计的先进 AI 服务器能够与较旧的 DDR4 模块无缝协同工作。该系统被称为“弗兰肯斯坦”（Frankenstein）配置，在现实世界测试中表现出卓越的稳定性，为突破当前的供应链瓶颈提供了可行的出路。弥合硬件鸿沟DDR5 与 DDR4 之间的向后
2026年最新高评分AI插画工具：我们精心挑选的这份清单汇集了功能强大的顶级工具，助您快速创作令人惊艳的编辑场景和引人注目的封面艺术。每款工具都经过了严格的实际测试，并提供了免费版与付费版的对比，帮助您找到最适合您工作流程的工具。 立即尝试这些必试解决方案，释放您的AI优势，提升创作效率。立即访问 XIX.AI 探索更多。
10 个工具
xix.ai
2026年最新、评分最高的考试备考AI辅导工具现已登陆XIX.AI！我们精心筛选的这份清单汇集了多款功能强大、颠覆传统的工具，提供免费与付费版本的对比、实际测试以及每周更新的排行榜。它们能帮助你提升写作效率、简化复杂主题的学习，并释放你的学术潜能。 立即探索，发现最适合您的备考工具，今天就开始创作，释放您的AI优势！
10 个工具
xix.ai
2026 年最新最佳顶级评分 AI 预算规划工具，专为个人财务管理打造，现已登陆 XIX.AI！本精选合集收录了强大且具颠覆性的解决方案，助您开展实际测试、理解消费习惯，并制定个性化计划以提升生产力。享受免费与付费版的对比及详细排名。这些必试工具旨在简化财务管理，助您释放 AI 优势。立即探索！
11 个工具
xix.ai
2026年最新精选高评分AI睡眠追踪助手，助您实现最佳恢复效果。这份全面更新的每周指南汇集了强大的工具，提供实际测试结果、免费与付费版本对比以及详细排名，助您找到必试的解决方案，从而提升睡眠质量并养成更好的就寝习惯。 立即访问 XIX.AI，解锁您的AI优势。
10 个工具
xix.ai
2026年最新、最受欢迎、评分最高的AI SQL辅助工具，助力产品与营收分析！ XIX.AI 精心遴选了一系列功能强大、颠覆性的必试工具，这些工具均经过每周更新的排名体系进行实战测试。它们能通过加速数据分析、简化复杂查询并生成精准洞察，帮助用户显著提升工作效率，从而推动更明智的商业决策。立即探索，发现最适合您的工具，释放您的AI优势！
14 个工具
xix.ai
2026年最新最佳高评分AI作业助手：不仅提供答案，更传授核心概念。专为学生打造的强大工具，精选必试清单，每周更新，免费与付费版本对比，真实使用测试，精准排名，助您充分释放学习潜能。立即探索，发现最适合您的工具，让学习更高效。
10 个工具
xix.ai
