Forschung
LongCat-Flash-Prover: Revolutioniert formales Denken mit agentenbasiertem Lernen
LongCat-Flash-Prover ist ein 560‑Billionen‑Parameter‑Modell, das als Open‑Source‑Mixture‑of‑Experts (MoE) für das formale Beweis‑System Lea…
arXiv – cs.AI