option
Home
Flash News
Content
PeterSanchez
PeterSanchez
March 23, 2026

Meituan open-sources LongCat-Flash-Prover a 567B parameter MoE model for complex mathematical proofs It set new SOTA records scoring 971 on MiniF2F-Test and solving 415 of PutnamBench problems Key breakthroughs include a multi-stage AST verification to eliminate hallucinations and the HisPO algorithm for stable training The model is available on GitHub and Hugging Face

Meituan open-sources LongCat-Flash-Prover a 567B parameter MoE model for complex mathematical proofs It set new SOTA records scoring 971 on MiniF2F-Test and solving 415 of PutnamBench problems Key breakthroughs include a multi-stage AST verification to eliminate hallucinations and the HisPO algorithm for stable training The model is available on GitHub and Hugging Face
Comments (0)
0/300
OR