Pour commencer

Quel est votre profil ?

Choisissez la voie qui vous correspond le mieux :

Je suis curieux de science (sans maths nécessaires)

Commencez par K₇ pour Tout le Monde : un guide complet utilisant des analogies du quotidien. Puis consultez la FAQ pour les questions courantes.

Je suis physicien

Lisez Pour les physiciens pour une vue d’ensemble technique : architecture E₈×E₈, compactification sur K₇, et les 33 prédictions. Plongez ensuite dans l’article principal.

Je suis géomètre / mathématicien

Lisez Pour les géomètres pour le pipeline computationnel : construction TCS, métriques PINN, extraction spectrale, et ponts vers Lean 4. L’article Métrique G₂ explicite est votre point d’entrée.

Je m’intéresse à la vérification formelle

Lisez Pour les experts en formalisation pour l’architecture Lean 4 : 143 fichiers .lean, 15 axiomes (4 principaux + 11 d’arithmétique d’intervalle), certificat à 140 conjonctions, zéro sorry. Voir Formalisation Lean pour la vue d’ensemble.

Je veux vérifier les chiffres

Allez directement à la Référence des observables (95 observables = 33 Type I + 19 Type II + 21 Type III + 22 Type IV) et aux Preuves statistiques (null uniforme P=10⁻³⁴⁶, null algébrique P=10⁻¹³³ sur 4,2M formules aléatoires, surdétermination 2,13×).

Je veux citer K₇

Voir le Guide de citation pour les formats BibTeX, APA et DOI.

Ordre de lecture recommandé

  1. K₇ pour Tout le Monde ou Pour les physiciens (selon votre profil)
  2. Article principal : la théorie complète
  3. Référence des observables : toutes les prédictions dans un tableau
  4. Preuves statistiques : pourquoi les chiffres sont importants
  5. Formalisation Lean : preuves vérifiées par machine

Liens externes