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 GIFT 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 : 134 fichiers .lean, 4 axiomes principaux, certificat à 213 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 GIFT

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

Ordre de lecture recommandé

  1. GIFT 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