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 Lean4 entwickelt wurde. Durch die Integration von agentenbasiertem Tool‑Learning (T…