Publication v4
Original question, distinct results, proof provenance, selected history and an explanatory schematic.
Formal proofs: No linked formal proof project for the full KLS theorem was found in these primary sources. The October proposals remain under assessment; publication and model checks are not independent validation.
AI-assisted work: Song–Zhang and Bizeul–Klartag–Lehec own separate manuscripts. Their AI disclosures assign models proof exploration, ideas and checking; the authors retain mathematical responsibility. Bizeul–Klartag–Lehec explicitly use a Song–Zhang criterion, which is kept visible as a dependency.
Selected primary papers, exact formal declarations, project provenance and official descriptions checked on 13 October 2026.
Checked Oct 13, 2026 · independent review pending.
Uniform bound proposed by Song and Zhang in revision two · observed Oct 13, 2026
Source status dated Oct 4, 2026 · observed Oct 13, 2026
The later manuscript proposes a constant independent of dimension; independent mathematical assessment is pending.
Uniform bound proposed by Bizeul, Klartag and Lehec · observed Oct 13, 2026
Source status dated Oct 4, 2026 · observed Oct 13, 2026
Theorem 1.1 asserts a universal Poincaré bound. No formal execution or independent mathematical assessment is recorded here.
Zhao Song, Xinzhi Zhang · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
kls-conjecture:entry:song:v1Zhao Song, Xinzhi Zhang · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
kls-conjecture:entry:song-new:v1Pierre Bizeul, Boaz Klartag, Joseph Lehec · metadata-link · Original source license and document rights apply.
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished. Rights / source terms
kls-conjecture:entry:bkl:v1Source-linked pilot import; independent mathematical review remains pending.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.