Home
Meituan Unveils 56B-Parameter LongCat, Setting New Benchmark in Open Source Mathematical Reasoning
As large language models expand into specialized domains, Meituan has delivered a standout solution that has captured the interest of both academia and industry.
On March 21, Meituan officially released LongCat-Flash-Prover, a large-scale mathematical reasoning model. This powerful system, featuring 567.7 billion parameters, utilizes an advanced MoE (Mixture of Experts) architecture and is specifically optimized for tackling highly complex formal mathematical proofs.
In top-tier benchmarks evaluating logical reasoning, LongCat-Flash-Prover has shown exceptional performance:
Record-Breaking Performance: It achieved a remarkable 97.1% score on the MiniF2F-Test, requiring only 72 reasoning attempts.
Conquering Hard Problems: It successfully solved 41.5% of the challenges in the PutnamBench dataset. Both results establish new global State-of-the-Art (SOTA) records.
To equip large models with the precision of a mathematician, Meituan implemented several critical technical innovations:
Reducing Hallucinations: A multi-stage verification process based on Abstract Syntax Trees (AST) was introduced, along with integration of the Lean4 formal language, effectively minimizing logical errors and "hallucinations" in AI deductions.
Advanced Training Methods: To address the instability often seen in long-horizon tasks within MoE models, Meituan deployed its proprietary HisPO algorithm. Combined with a theorem consistency check, this approach prevents reward hacking during reinforcement learning.
Optimized Architecture: With 560 billion total parameters, the model maintains a deep knowledge base, while the MoE structure ensures efficient and flexible inference.
Meituan has fully open-sourced the model and its source code on GitHub and Hugging Face.
With the release of LongCat-Flash-Prover
Related article
Meta Wants Your Next Gadget to Be Muse-Infused
Meta’s Muse, an AI assistant that handles travel bookings, form submissions, and shopping, has gained widespread adoption, yet a new initiative may especially intrigue developers and hardware enthusiasts.On Friday, Meta unveiled Muse Gadgets, an open
Wan-Streamer v0.2 delivers ultra-low latency AI chat
As modern technology advances rapidly, human-AI interaction is becoming more common. Traditional video calls often struggle with lag, delays, and audio-visual desynchronization. Wan-Streamer v0.2, the latest release from Tongyi Lab, overcomes these c
Meta Joins TSMC and Micron to Equip New Servers with Old Memory
As artificial intelligence adoption accelerates worldwide, next-generation DDR5 memory is experiencing a critical supply shortage. To avoid delays in AI data center deployments, Meta has partnered with industry leaders like TSMC and Micron to enginee
Related Special Topic Recommendations
Design & Art
Top AI Illustration Tools: Create Editorial Scenes and Cover Art Faster
2026 Latest Top-rated AI Illustration Tools: Our curated list features the best powerfully designed tools for creating stunning editorial scenes and eye-catching cover art quickly. Each option has gone through rigorous real-world tests, offering a free vs paid comparison to help you find the perfect match for your workflow. Try these must-try solutions today to unlock your AI edge and boost your creative productivity. Explore now at XIX.AI.
10 tools
xix.ai
Education and Learning
Top AI Tutors for Exam Prep: Practice Math, Science, and English
2026 Latest Top-Rated Best AI Tutors for Exam Prep are here on XIX.AI! Our curated list features powerful game-changing tools that offer free vs paid comparison, real-world tests, and weekly updated rankings. They help boost your writing efficiency, simplify complex topic learning, and unlock your academic potential. Explore now to Discover your perfect exam prep tool and Start creating today to Unlock your AI edge!
10 tools
xix.ai
Finance
AI Budget Planning Tools for Personal Money Management
2026 Latest Best Top-Rated AI Budget Planning Tools for Personal Money Management are here on XIX.AI! This curated collection features powerful, game-changing solutions that help you conduct real-world tests, understand spending habits, and create personalized plans to boost productivity. Enjoy a free vs paid comparison along with detailed rankings. Must-try tools designed to simplify money management and unlock your AI edge. Explore now!
11 tools
xix.ai
Health & Wellness
AI Sleep Tracking Assistants: Improve Recovery with Better Bedtime Habits
2026 Latest Best Top-Rated AI Sleep Tracking Assistants curated for ultimate recovery. This fully updated weekly guide features powerful tools that deliver real-world tests, free vs paid comparison, and detailed rankings to help you find the must-try solution that boosts sleep quality and supports better bedtime habits. Explore now at XIX.AI to Unlock your AI edge.
10 tools
xix.ai
Data Analysis
AI SQL Copilots for Product and Revenue Analytics
2026 Latest Best Top-Rated AI SQL Copilots for Product and Revenue Analytics! XIX.AI has curated a powerful, game-changing collection of must-try tools that undergo real-world tests through weekly updated rankings. These tools help users boost productivity significantly by accelerating data analysis, streamlining complex queries, and generating accurate insights to drive smarter business decisions. Explore now to Discover your perfect tool for unlocking your AI edge!
14 tools
xix.ai
Education and Learning
Best AI Homework Helpers That Teach: Learn Concepts, Not Just Answers
2026 Latest Best Top-Rated AI Homework Helpers That Teach Core Concepts Not Just Answers Powerful Tools for Students Must-Try Curated List Weekly Updated Free vs Paid Comparison Real-World Tests Accurate Rankings to Help You Unlock Your Full Learning Potential Explore now to Discover your perfect tool for smarter studying.
10 tools
xix.ai
Comments (0)
0/500
As large language models expand into specialized domains, Meituan has delivered a standout solution that has captured the interest of both academia and industry.
On March 21, Meituan officially released LongCat-Flash-Prover, a large-scale mathematical reasoning model. This powerful system, featuring 567.7 billion parameters, utilizes an advanced MoE (Mixture of Experts) architecture and is specifically optimized for tackling highly complex formal mathematical proofs.
In top-tier benchmarks evaluating logical reasoning, LongCat-Flash-Prover has shown exceptional performance:
Record-Breaking Performance: It achieved a remarkable 97.1% score on the MiniF2F-Test, requiring only 72 reasoning attempts.
Conquering Hard Problems: It successfully solved 41.5% of the challenges in the PutnamBench dataset. Both results establish new global State-of-the-Art (SOTA) records.
To equip large models with the precision of a mathematician, Meituan implemented several critical technical innovations:
Reducing Hallucinations: A multi-stage verification process based on Abstract Syntax Trees (AST) was introduced, along with integration of the Lean4 formal language, effectively minimizing logical errors and "hallucinations" in AI deductions.
Advanced Training Methods: To address the instability often seen in long-horizon tasks within MoE models, Meituan deployed its proprietary HisPO algorithm. Combined with a theorem consistency check, this approach prevents reward hacking during reinforcement learning.
Optimized Architecture: With 560 billion total parameters, the model maintains a deep knowledge base, while the
Meituan has fully open-sourced the model and its source code on GitHub and Hugging Face.
With the release of LongCat-Flash-Prover
Meta Wants Your Next Gadget to Be Muse-Infused
Meta’s Muse, an AI assistant that handles travel bookings, form submissions, and shopping, has gained widespread adoption, yet a new initiative may especially intrigue developers and hardware enthusiasts.On Friday, Meta unveiled Muse Gadgets, an open
Wan-Streamer v0.2 delivers ultra-low latency AI chat
As modern technology advances rapidly, human-AI interaction is becoming more common. Traditional video calls often struggle with lag, delays, and audio-visual desynchronization. Wan-Streamer v0.2, the latest release from Tongyi Lab, overcomes these c
Meta Joins TSMC and Micron to Equip New Servers with Old Memory
As artificial intelligence adoption accelerates worldwide, next-generation DDR5 memory is experiencing a critical supply shortage. To avoid delays in AI data center deployments, Meta has partnered with industry leaders like TSMC and Micron to enginee
2026 Latest Top-rated AI Illustration Tools: Our curated list features the best powerfully designed tools for creating stunning editorial scenes and eye-catching cover art quickly. Each option has gone through rigorous real-world tests, offering a free vs paid comparison to help you find the perfect match for your workflow. Try these must-try solutions today to unlock your AI edge and boost your creative productivity. Explore now at XIX.AI.
10 tools
xix.ai
2026 Latest Top-Rated Best AI Tutors for Exam Prep are here on XIX.AI! Our curated list features powerful game-changing tools that offer free vs paid comparison, real-world tests, and weekly updated rankings. They help boost your writing efficiency, simplify complex topic learning, and unlock your academic potential. Explore now to Discover your perfect exam prep tool and Start creating today to Unlock your AI edge!
10 tools
xix.ai
2026 Latest Best Top-Rated AI Budget Planning Tools for Personal Money Management are here on XIX.AI! This curated collection features powerful, game-changing solutions that help you conduct real-world tests, understand spending habits, and create personalized plans to boost productivity. Enjoy a free vs paid comparison along with detailed rankings. Must-try tools designed to simplify money management and unlock your AI edge. Explore now!
11 tools
xix.ai
2026 Latest Best Top-Rated AI Sleep Tracking Assistants curated for ultimate recovery. This fully updated weekly guide features powerful tools that deliver real-world tests, free vs paid comparison, and detailed rankings to help you find the must-try solution that boosts sleep quality and supports better bedtime habits. Explore now at XIX.AI to Unlock your AI edge.
10 tools
xix.ai
2026 Latest Best Top-Rated AI SQL Copilots for Product and Revenue Analytics! XIX.AI has curated a powerful, game-changing collection of must-try tools that undergo real-world tests through weekly updated rankings. These tools help users boost productivity significantly by accelerating data analysis, streamlining complex queries, and generating accurate insights to drive smarter business decisions. Explore now to Discover your perfect tool for unlocking your AI edge!
14 tools
xix.ai
2026 Latest Best Top-Rated AI Homework Helpers That Teach Core Concepts Not Just Answers Powerful Tools for Students Must-Try Curated List Weekly Updated Free vs Paid Comparison Real-World Tests Accurate Rankings to Help You Unlock Your Full Learning Potential Explore now to Discover your perfect tool for smarter studying.
10 tools
xix.ai
