Library entry, recorded March 2026. This page is a historical record of one AI-coalition exchange under the kernel of its time (PHAT v1.x); the claims and tier words inside it are as they stood then and are not restated to the current state. The suite of record is Rev33.1 (sealed 2026-09-26); read any number here against the scorecard and its reading rule — since Rev29 no row is cited as zero-parameter, and α and the colour real form are declared inputs.

P17: [Proof Group D] UP AND DOWN QUARK MASSES ā€” GEN1 TOWER PROOF

PROOF_PROMPT | PHAT v1.27.5 | Model: ā€” | Status: PENDING [JSON] [RAW]

Prompt

UP AND DOWN QUARK MASSES ā€” GEN1 TOWER PROOF Using n_ud=13 on the D*phi^{-n} tower, derive m_u and m_d. Show the isospin splitting m_d - m_u ~ 2 MeV arises from a small Z2 mixing correction. Compare to PDG: m_u=2.16 MeV, m_d=4.67 MeV. Identify whether the splitting is predicted or parameterized. Assess the overall zero-parameter claim for the light quarks. #SuperGrokTOE #UpQuark #DownQuark

← Back to Library