What was already known
Alicki–Fannes and Winter gave nonsharp bounds; Alhejji–Smith proved the sharp classical result. The unrestricted quantum case remained open.
AI involvement
Berta, Costa Rico, Kossmann, Lami and Zeiss credit ChatGPT 5.6 Sol with helping develop the key idea. They wrote and explained the quantum theorem and argument.
The source specifically credits the key proof idea to work with ChatGPT, while human authors developed and presented the complete quantum argument.
Importance
Closes the fully quantum case of the conjectured sharp continuity bound.
Limitations
The model contribution is a key proof idea adapting the classical method, not an isolated full model proof. The authors present the proof, but no completed independent check of the AI-origin step is documented.
Technical verification
The paper supplies a proof but makes no explicit claim-level record of a completed human review or machine check. Reported is the evidence default, not a finding of error.
Human understanding
The human authors present the central argument, its classical source, and a comparison with Winter's method; these explain the assessed mechanism.
Correction and publication history
Closes the fully quantum case of the conjectured sharp continuity bound.
Read this published revision