Finitude Indépendante de la Dimension des Configurations Centrales pour des Masses Positives

Key Points

• Ce travail aborde le nombre de configurations centrales pour des masses positives dans des dimensions supérieures, prouvant spécifiquement leur finitude.
• A prouvé des configurations centrales finies modulo similarité pour N ≥ 3 corps dans d dimensions (d ≥ 2).
• A utilisé des outils de vérification formelle, y compris Lean 4 et des scripts de vérification Python.
• Fait partie du programme de recherche plus large Latent englobant des études connexes.
• A démontré que le nombre de configurations centrales est fini pour des corps avec des masses positives dans toutes les dimensions d ≥ 2.
• A résolu le 6ème Problème de Smale en montrant que cette finitude est universelle à travers les dimensions spécifiées.