可压缩性（Compressibility）is all you need

Der Inhalt analysiert den grundlegenden Unterschied zwischen "Menschlicher Mathematik" und "Formeller Mathematik" und hebt die hohe "Kompressibilität" der ersteren hervor. Mithilfe von Monoiden als Modell und einer empirischen Studie mit Leans Mathlib zeigt die Forschung, wie menschliche Mathematik durch hierarchisch verschachtelte Definitionen und Theoreme stark komprimiert wird.