Meituan veröffentlicht „LongCat-Flash-Prover“ als Open-Source-Projekt – ein MoE-Modell mit 567 Milliarden Parametern für komplexe mathematische Beweise. Es stellte neue SOTA-Rekorde auf, erzielte 971 Punkte im MiniF2F-Test und löste 415 Aufgaben aus dem PutnamBench. Zu den wichtigsten Durchbrüchen zählen eine mehrstufige AST-Verifizierung zur Beseitigung von Halluzinationen sowie der HisPO-Algorithmus für stabiles Training. Das Modell ist auf GitHub und Hugging Face verfügbar.