Meituan open-sources LongCat-Flash-Prover mathematical proof model

Meituan has open-sourced the LongCat-Flash-Prover large-scale model, employing a 567.7 billion parameter MoE architecture, focusing on solving complex mathematical proof problems. The model introduces a hybrid expert iterative framework, integrating Lean4 and AST multi-stage rigorous verification to effectively eliminate illusions. It achieved a 97.1% score on the MiniF2F-Test and solved 41.5% of the problems on PutnamBench, both tests setting new state-of-the-art (SOTA) records.