Getting Started

What’s your background?

Choose the path that fits you best:

I’m curious about science (no math required)

Start with GIFT for Everyone: a complete guide using everyday analogies. Then check the FAQ for common questions.

I’m a physicist

Read For Physicists for a concise technical overview: E₈×E₈ architecture, K₇ compactification, and the 33 predictions. Then dive into the Main Paper.

I’m a geometer / mathematician

Read For Geometers for the computational pipeline: TCS construction, PINN metrics, spectral extraction, and Lean 4 bridges. The Explicit G₂ Metric paper is your entry point.

I’m interested in formal verification

Read For Formalization Experts for the Lean 4 architecture: 134 .lean files, 4 main-chain axioms, 213-conjunct certificate, zero sorry. See Lean Formalization for the full picture.

I want to check the numbers

Go straight to Observable Reference (95 observables = 33 Type I + 19 Type II + 21 Type III + 22 Type IV) and Statistical Evidence (uniform null P=10⁻³⁴⁶, algebraic null P=10⁻¹³³ across 4.2M random formulas, overdetermination 2.13×).

I want to cite GIFT

See Citation Guide for BibTeX, APA, and DOI information.

Essential Reading Order

  1. GIFT for Everyone or For Physicists (depending on background)
  2. Main Framework Paper: the complete theory
  3. Observable Reference, all predictions in one table
  4. Statistical Evidence, why the numbers matter
  5. Lean Formalization, machine-checked proofs