RESEARCHDEV.to AI·il y a 7j
可压缩性（Compressibility）is all you need
Ce contenu explore la distinction fondamentale entre la "Mathématique Humaine" et la "Mathématique Formelle", soulignant la haute "compressibilité" de la première. En utilisant les monoïdes comme modèle et une étude empirique avec Mathlib de Lean, la recherche démontre comment la mathématique humaine est fortement compressée par des définitions et théorèmes imbriqués hiérarchiquement.
27