What was already known
Linear Lie groups were known to admit such representations; non-linear simple groups and their central extensions remained the obstruction in Ulam’s question.
AI involvement
The authors credit GPT 6 Astra with the initial deformation construction, followed by their development, checking and substantial rewriting.
The simultaneous Puiseux deformation construction with prescribed residues originated with the model. Monod and Thom developed extensions to other groups and substantially rewrote the argument.
Importance
Resolves a longstanding group-theory question using a deformation of countable-index real subrings.
Limitations
Preprint claim. The embedding need not be continuous or constructive; arbitrary non-second-countable Lie groups and all Polish groups are outside the claim. AIProofWatch has not audited the proof.
Technical verification
A completed rigorous check is documented for the scoped statement. Monod and Thom: The model-origin Puiseux/deformation construction as reconstructed and checked by both authors.
Human understanding
Named human researchers explain or reconstruct the scoped central mechanism in the cited paper/account; credit for that explanation is separate from technical checking. The authors credit GPT 6 Astra with the initial deformation construction, followed by their development, checking and substantial rewriting.
Correction and publication history
Primary-source statement, baseline, AI role and limitations reviewed on 14 October 2026. Complete current catalog checked for equivalent records. New recent paper; ordinary notifying publication.
Read this published revision