The Problem of Physics
The Standard Model is the most successful theory in the history of science. It also cannot explain itself. Here is exactly what that means.
The Most Successful Theory in History
The Standard Model (SM) of particle physics describes every known elementary particle and three of the four fundamental forces. Its precision is extraordinary.
The central paradox: The Standard Model is the most precisely tested theory in the history of science — and simultaneously the theory with the most embarrassing structural gap. It works with extraordinary accuracy. It also cannot explain itself.
What Is a Free Parameter?
To make its predictions, the SM requires a set of numbers to be measured by experiment and inserted by hand. These are called free parameters — "free" because the theory places no restriction on what value they could take. You could change any of them and the SM would remain a logically consistent theory — it would just describe a different universe.
Measurement vs derivation. When you measure the electron mass (me = 0.511 MeV) and insert it into the SM, the SM correctly predicts everything that depends on me. But the question "why does the electron have that mass and not some other?" is unanswered. The SM treats the electron mass as an input — like a dial set by experiment. A complete theory would derive it without measuring it first.
In the strictest count the SM has 19 free parameters. Adding neutrino masses and mixing angles brings the total to 25. None of these numbers is predicted by the Standard Model.
The 25 Free Parameters
Here they are — every constant the SM cannot explain. The third column shows the SM's "explanation" for each value.
| Group | Value (approx.) | SM explanation |
|---|---|---|
| Gauge couplings (3) α (EM), gW (weak), gS (strong) |
1/137, 0.653, 1.221 | None — measured and fitted |
| Higgs sector (2) Higgs mass mH, vacuum expectation v |
125.25 GeV, 246 GeV | None — measured and fitted |
| Quark masses (6) up, down, strange, charm, bottom, top |
2.2 MeV – 173 GeV | None — measured and fitted |
| Charged lepton masses (3) electron, muon, tau |
0.511 MeV, 106 MeV, 1777 MeV | None — measured and fitted |
| Quark mixing (4) CKM matrix: 3 angles + CP phase |
θ₁₂=13°, θ₂₃=2.4°, θ₁₃=0.2°, δ=70° | None — measured and fitted |
| Neutrino mixing (≥4) PMNS matrix: 3 angles + CP phase |
θ₁₂=34°, θ₂₃=43°, θ₁₃=8.6°, δ=212° | None — measured and fitted |
| Strong CP angle (1) θQCD |
<10⁻¹⁰ | None — measured (suspiciously small) |
| Cosmological (≥6) Λ, dark matter density, ns, … |
various | None — measured and fitted |
Every row's "SM explanation" column says the same thing: none. Every constant is measured, then inserted. The SM predicts consequences of these values with extraordinary precision — but the values themselves are unexplained.
Four Problems That Stand Out
Among the 25 free parameters, four sub-problems are especially severe — not just numerical gaps, but structural failures that indicate something fundamental is missing.
The Hierarchy Problem
The Higgs boson mass is about 125 GeV. Quantum mechanics predicts that short-distance quantum corrections should drag it up to the Planck scale (~10¹⁹ GeV) — which is 10¹⁷ times larger. To get the observed value, two enormous numbers must cancel to 17 decimal places. Why does gravity appear so extraordinarily weak compared to the other forces?
GTE status: The electroweak scale is derived from a fixed-point equation with no fine-tuning. Covered in Path 5: Gravity.
The Strong CP Problem
The SM Lagrangian contains a term that, in principle, causes the strong force to violate CP symmetry (the symmetry between matter and antimatter). The coefficient of that term, θQCD, could be anything between 0 and 2π. Experiment constrains it to less than 10⁻¹⁰ — essentially zero to ten decimal places. Why is a parameter that could be anything so precisely zero?
GTE status: θQCD = 0 exactly follows from the symmetry structure. Machine-certified in Lean 4 with three independent proofs. No axion required. Covered in Path 4: Strong CP.
The Three-Generation Puzzle
Why are there exactly three families of quarks and leptons? The SM contains (electron, muon, tau), (up/down, charm/strange, top/bottom) — three generations of each. Anomaly cancellation requires quarks and leptons to come in equal numbers of generations, but imposes no constraint on what that number is. One generation, four generations, seventeen generations are all equally valid SM theories.
GTE status: Ngen = 3 is forced by seven independent structural constraints, all machine-certified in Lean 4. Covered in Path 3: Quantum Numbers.
The Quantum Measurement Problem
Quantum mechanics predicts the probability of each experimental outcome via the Born rule: P(k) = |⟨k|ψ⟩|². This rule was introduced as a postulate in 1926 by Max Born. It has never been derived from more fundamental principles. Why does a quantum system in a definite mathematical state produce only probabilistic outcomes? What causes collapse?
GTE status: The Born rule is derived from first principles via four independent routes, two machine-certified in Lean 4. Covered in Path 6: Born Rule.
What Would a Genuine Solution Require?
The SM has been known to have this problem since the 1970s. Many approaches have been proposed — supersymmetry, string landscape, extra dimensions. None has reached zero free parameters or produced a machine-verified derivation. A genuine solution must satisfy three criteria.
Zero free parameters
No SM constant may be used as an input on the way to deriving another. Every constant is an output. If any constants are fitted to data during the derivation, the derivation is circular.
Prior to measurement — machine-verifiable
The derivation must not use the measured value as an implicit guide. In practice, this requires a machine-certified formal proof — a system that has no knowledge of what the SM predicts and cannot unconsciously steer the algebra toward the known answer.
Falsifiable
A genuine derivation makes specific numerical predictions. If a prediction disagrees with measurement, the theory is wrong. A framework that can accommodate any experimental outcome is not a derivation — it is a description.
The GTE framework satisfies all three. Starting from a single 19-bit description — the polynomial p(L,C,R) = C + R − CR − LCR over GF(7) — and zero fitted constants, it derives every Standard Model parameter. Every foundational result is proved in Lean 4 with zero sorry and zero custom axioms. As of P48 (2026), the framework correctly predicts over 40 independent observables.
Path 1 of this tutorial explains the substrate — the arithmetic foundation from which everything else is derived. Paths 3–7 show what gets derived from it.
Key Takeaways
- The Standard Model is the most precisely tested theory in history, but it contains 25 numbers — free parameters — that it cannot explain. Each is measured by experiment and inserted by hand.
- A free parameter is not an explanation. Fitting a constant to data and then predicting consequences of that constant is not the same as deriving the constant. The SM can measure; it cannot derive.
- Four sub-problems stand out: the hierarchy problem (why is gravity so weak?), the strong CP problem (why is θQCD ≈ 0?), the three-generation puzzle (why exactly three families?), and the quantum measurement problem (why the Born rule?).
- A genuine solution requires: zero free parameters, machine-verified derivations (so no human judgment steers the algebra toward known answers), and falsifiable predictions. Previous approaches — anthropic reasoning, the string landscape — do not meet these criteria.
- The UGP/GTE framework is one zero-free-parameter proposal. Path 1 develops its arithmetic foundation step by step.