What was already known
Dimension-dependent estimates and a recent criterion of Song and Zhang preceded this argument. Song and Zhang’s revised preprint independently claims the full bound; priority is not assigned here.
What changed and why it matters
Establishes dimension-free concentration and isoperimetric control central to convex geometry and random sampling.
The AI contribution
The authors attribute most mathematical ideas and proofs to ChatGPT; they supplied the suspension idea and worked to understand and improve the exposition.
Limitations
Preprint; AIProofWatch reviewed the theorem and attribution, not the proof. No formal compilation, outside verification or peer review is asserted. The concurrent Song–Zhang claim is context, not another AI discovery in this entry.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
Theorem 1.1 and the authors’ attribution paragraph.
Accessible artifact / proof
The original written argument is accessible; no proof audit claimed.
Correction and publication history
Correct this run’s initial topic association: KLS concerns broad geometric isoperimetry and analysis/probability, rather than the specifically named Convex-body coverings interest. Preserve the source statement and non-notifying historical status.
Read this published revisionHistorical backfill after the primary statement and AI-provenance review of the changed discovery entry. Original report is 4 October, not today. Apply through the non-notifying reviewed workflow; no old alert replay.
Read this published revision