KI formalisiert 500‑Seiten‑Textbuch in Lean – Rekordautomatisierung
Ein automatisiertes KI-System hat ein 500‑Seiten‑langes Lehrbuch der algebraischen Kombinatorik vollständig in das Lean‑Theorem‑Prover‑System überführt. Das Ergebnis markiert einen Meilenstein in der Skalierung und Präz…