What was already known
The isotropic and inner type A cases, among others, were known; anisotropic outer A, trialitarian D₄ and E₆ cases remained.
AI involvement
OpenAI is credited as author, and its release attributes the mathematical results in this collection to an internal frontier model. The interaction for this theorem is not disclosed.
An AI institution is the manuscript's credited author and the official release attributes repository results to its model; autonomy is not established.
Importance
Would settle the number-field Margulis–Platonov conjecture in full.
Limitations
A proof manuscript is available, but no named complete human check or machine verification of this exact number-field theorem is documented.
Technical verification
A full proof manuscript exists, but neither a named completed human check nor a machine check of this exact theorem was documented in the reviewed sources.
Human understanding
Default for missing evidence: the manuscript outlines its strategy, but no named human explanation of this specific model argument was located.
Correction and publication history
The number-field theorem is distinct from the separately reported function-field result.
Read this published revision