What was already known
The other 25 sporadic simple groups had been realized over the rationals, but M₂₃ remained the last unresolved sporadic case. Earlier M₂₃ constructions over other number fields did not settle the rational case.
What changed and why it matters
Completes a decades-long program in inverse Galois theory with an explicit construction and a regular realization, rather than a heuristic search result.
The AI contribution
The human team made the strategic decisions and conceptual analysis. Claude Fable 5/5.1, Claude Opus 4.8 and ChatGPT 5.6 Sol accelerated literature search, code generation, computation, checking and proofreading. The authors wrote the manuscript and verified the final results without AI.
Limitations
This settles the sporadic-group program, not the inverse Galois problem for every finite group. Preprint v2, revised 7 October 2026. The authors report exact computational verification in Magma and PARI/GP; AIProofWatch has not rerun those calculations or audited the full proof.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
The cited source reports the scoped contribution. Statement and significance review does not establish a complete proof audit.
Accessible artifact / proof
The supporting manuscript, formal development or construction data is accessible; AIProofWatch has not independently reproduced its checks.
Correction and publication history
News-led review of the precise source statement, baseline, AI attribution and importance. Historical inclusion without subscriber alerts; no AIProofWatch full proof audit.
Read this published revision