Meituan met en open source LongCat-Flash-Prover, un modèle MoE de 567 milliards de paramètres destiné aux preuves mathématiques complexes. Il a établi de nouveaux records SOTA en obtenant un score de 971 au MiniF2F-Test et en résolvant 415 problèmes du PutnamBench. Parmi les avancées majeures, on peut citer une vérification AST en plusieurs étapes visant à éliminer les hallucinations, ainsi que l'algorithme HisPO pour un apprentissage stable. Le modèle est disponible sur GitHub et Hugging Face.