Dispatch - Thursday 30 July 2026
Kimi EX-516 haul grows 5 to 8 - Feige cluster + thin-shell, two simultaneous-discovery weeks
Kimi K3's EX-516 (named-AI math/science preprints) jumped from the five instances desked at News 2407 to eight qualifying 2026-27 window preprints after a second simultaneous-discovery cluster around Feige's conjecture (open since 2004) plus a sharp thin-shell proof - all crediting named GPT-5.6-class systems.
Prior desk (2407) covered: Vandermonde (arXiv:2607.23828, Codex Sol 5.6), twin Werner (2607.24309, Sol-5.6+Opus+Fable), independent Werner (2607.21367, GPT-5.5+Sol), plus the earlier Shaska/Fable and Matherne-Morales floors that opened the claim.
New Feige cluster (two independent proofs same arXiv day):
- arXiv:2607.24528 Nie & Wei, "On Feige's conjecture" - abstract: proof obtained with GPT-5.6 Sol, building on Vlassis-Thomas Gaffke breakthrough.
- arXiv:2607.23980 Fu et al., sharp small-deviation inequalities - abstract: "The proof is found by ChatGPT 5.6 Pro"; posted ~11 hours earlier the same day; proves Feige for delta≥1 with sharp bound.
Plus thin-shell: arXiv:2607.23307 Chen & Klartag - Var(|X|^2)≤8n optimal constant; body: "The proof was found by GPT-5.6 Pro"; chat log ancillary; 23 pp verified.
Pattern Kimi logged twice in one week: human breakthrough, then multiple independent AI-assisted completions (Werner 2-copy Jul 23+27; Feige two proofs Jul 27). Window count now eight named-AI qualifying preprints. Seal still v1.31.0 notes-only - this is the distinctive delta beyond 2407.