2026-10-11 16:38 UTC

Bizeul, Klartag, and Lehec present an arXiv proof of the ~31-year-old Kannan-Lovász-Simonovits conjecture and — per the Reddit relay — credit ChatGPT with most of the ideas and proofs; expert validation of the proof and confirmation of the AI-credit attribution would establish chatbot models as originators of the core of a decades-open mathematics result, while a flaw in the proof or an unsupported credit claim closes it.

state: watchingheat: lowuncertainty: highconvergesscott: highai-mathematics llm-assisted-research kls-conjecturePierre BizeulBoaz KlartagJoseph Lehec

What is this?

The Kannan–Lovász–Simonovits (KLS) conjecture, posed roughly 31 years ago, asks whether the isoperimetric (Cheeger) constant of any high-dimensional log-concave measure is bounded by a universal dimension-free constant — a bottleneck question spanning geometry, probability, and algorithms, tied to efficient sampling and convex search. Boaz Klartag (Weizmann) and Joseph Lehec are the field's central pair on it — polylog bounds (2022), √log bounds (2023), the thin-shell result via parallel coupling (2025), and with Guan and Bizeul the 2024–25 solution of the weaker slicing conjecture (which Kalai's blog notes left KLS itself open) — so Bizeul–Klartag–Lehec posting a full proof (arXiv 2610.05474, 4 Oct 2026) is the natural culmination of that exact chain. The retrieved material confirms the lineage but does not confirm the AI-credit claim: the abstract excerpt credits a Song-Zhang criterion and shows no ChatGPT mention, so the attribution rests on a Reddit relay. The closest independent signal is Klartag's own homepage, which carries a 'non-mathematical comment' that one of his proofs 'was found using GPT Pro 5.6 and it was checked by the authors' — though its placement and stated July 25 upload date suggest it refers to a different preprint than the 4 Oct KLS paper, establishing his practice of AI-found, human-checked, publicly disclosed proofs without settling the attribution for this one.

Why it matters to Scott

A claimed ChatGPT-authored core of a 31-year-open conjecture is the strongest-yet instance of the Discovery-Accelerators/Reshape trajectory Scott argues — and if the attribution confirms it pushes past his 'human pivot, AI proof' framing toward 'AI ideas, human exposition', stress-testing where he locates scarcity rather than merely agreeing with him. The live abstract-silent-versus-Reddit-relay credit gap is precisely the contested-credit, weakest-evidence-class case his Idea Provenance ebook and Evidence Class Ladder exist to adjudicate, so either resolution (proof + attribution confirmed, or attribution unsupported) yields dated receipts for his canon.
ip:source.reshapeip:source.discovery-accelerators-the-path-to-agi-through-visible-reasoning-systems-ebookip:concept.evidence-class-ladderip:source.idea-provenance-ebookradar:concept.ai-assisted-mathematicsradar:gpt-5-6-convex-proofradar:anthropic-3sum-apsp-refutationradar:openai-millennium-maths-claimradar:concept.ai-provenanceradar:concept.verification
queries asked of Scott's wikis
  • llm-discovered proofs and scientific discovery milestones
  • expert verification harness for model-generated reasoning
  • human-AI credit attribution and disclosure norms
  • capability claims sourced from reddit relays and unverified testimony
  • frontier model tiers (pro-mode) and capability moats
  • open-problem benchmarks for AI reasoning

Measured heat

now 0 pts/hpeak 36 pts/hcomments 0/hpeers p14momentum: steady3 platformsage 194h
points/hour across evidence · reading as of 2026-10-12 02:59:37.977291+11:00 · deterministic, not a model opinion

How the heat travelled

10-03 14:00⭐ origin echo-reconstructedSubmitted 4 Oct 2026: 'We present here a proof of this conjecture' — the Kannan-Lovász-Simonovits conjecture — stating 'the crucial step in
Pierre Bizeul, Boaz Klartag, Joseph Lehec on paper (echo) · attributed from reddit.post.1wyxdtu
—
10-06 08:35first on r/singularity · published · +66.6hFor 31 years, mathematicians couldn’t finish this proof. The new paper says ChatGPT found most of the ideas and proofs behind a problem tied to efficient computer search and sampling, while the authors mostly worked to understand and explain it.
141_1337
—
10-07 19:42first on hacker news · published · +101.7hThe Mathocalypse
philipfweiss
—
10-06 08:35amplified on r/singularity 👑reddit.post.1wyxdtu
141_1337
peak 160 · 3 comments · 64% of case engagement
10-07 19:42amplified on hacker newshn.story.49997831
philipfweiss
peak 50 · 1 comments · 36% of case engagement
10-06 09:20our radar first saw it · +67.3hdiscovery anchor: reddit.post.1wyxdtu—
pace: p73 vs 1188 stories at the 168h mark (now 194h old) — ahead of naiveai-n05-flash-release (1.0x), behind ling-flash-vl-release (1.0x)

Evidence (3) — ⭐ canonical anchor

sourceobjectauthorscorecomments
🟠 redditFor 31 years, mathematicians couldn’t finish this proof. The new paper says ChatGPT found most of the ideas and proofs behind a problem tied to efficient computer search and sampling, while the authors mostly worked to understand and explain it.
singularity
Retrieved article excerpt

Open article · Retrieved 2026-10-06T09:27:27.224798+00:00

# Mathematics > Functional Analysis

**arXiv:2610.05474** (math)

[Submitted on 4 Oct 2026]

# Title:Presenting a proof of the Kannan-Lovasz-Simonovits conjecture

Authors:[Pierre Bizeul](https://arxiv.org/search/math?searchtype=author&query=Bizeul,+P), [Boaz Klartag](https://arxiv.org/search/math?searchtype=author&query=Klartag,+B), [Joseph Lehec](https://arxiv.org/search/math?searchtype=author&query=Lehec,+J)

View a PDF of the paper titled Presenting a proof of the Kannan-Lovasz-Simonovits conjecture, by Pierre Bizeul and 2 other authors

[View PDF](https://arxiv.org/pdf/2610.05474)
[HTML (experimental)](https://arxiv.org/html/2610.05474v1)
> Abstract:Together with Bourgain's slicing problem and the variance conjecture, the Kannan-Lovász-Simonovits (KLS) conjecture has been a driving force for mathematical developments in high dimensional geometry in recent decades. We present here a proof of this conjecture. The crucial step in the proof is the very recent criterion from Song and Zhang involving high-order derivatives of tilt averages.

|  |
| --- |
| Comments: |
| Subjects: | Functional Analysis (math.FA); Metric Geometry (math.MG); Probability (math.PR) |
| Cite as: | [arXiv:2610.05474](https://arxiv.org/abs/2610.05474) [math.FA] |
|  | (or  [arXiv:2610.05474v1](https://arxiv.org/abs/2610.05474v1) [math.FA] for this version) |
|  | <https://doi.org/10.48550/arXiv.2610.05474> Focus to learn more  arXiv-issued DOI via DataCite (pending registration) |

## Submission history

From: Pierre Bizeul [[view email](https://arxiv.org/show-email/daebf8c6/2610.05474)]   
 **[v1]**
Sun, 4 Oct 2026 19:30:34 UTC (28 KB)

Full-text links:

## Access Paper:

View a PDF of the paper titled Presenting a proof of the Kannan-Lovasz-Simonovits conjecture, by Pierre Bizeul and 2 other authors

- [View PDF](https://arxiv.org/pdf/2610.05474)
- [HTML (experimental)](https://arxiv.org/html/2610.05474v1)
- [TeX Source](https://arxiv.org/src/2610.05474)

[view license](http://arxiv.org/licenses/nonexclusive-distrib/1.0/ "Rights to this article")

### Current browse context:

math.FA

[< prev](https://arxiv.org/prevnext?id=2610.05474&function=prev&context=math.FA "previous in math.FA (accesskey p)")
  |   
[next >](https://arxiv.org/prevnext?id=2610.05474&function=next&context=math.FA "next in math.FA (accesskey n)")

[new](https://arxiv.org/list/math.FA/new)
 | 
[recent](https://arxiv.org/list/math.FA/recent)
 | [2026-10](https://arxiv.org/list/math.FA/2026-10)

Change to browse by:

[math](https://arxiv.org/abs/2610.05474?context=math)  
[math.MG](https://arxiv.org/abs/2610.05474?context=math.MG)  
[math.PR](https://arxiv.org/abs/2610.05474?context=math.PR)

### References & Citations

- [NASA ADS](https://ui.adsabs.harvard.edu/abs/arXiv:2610.05474)
- [Google Scholar](https://scholar.google.com/scholar_lookup?arxiv_id=2610.05474)
- [Semantic Scholar](https://api.semanticscholar.org/arXiv:2610.05474)

export BibTeX citation
Loading...

## BibTeX formatted citation

×

loading...

Data provided by:

### Bookmark

[BibSonomy](http://www.bibsonomy.org/BibtexHandler?requTask=upload&url=https://arxiv.org/abs/2610.05474&description=Presenting a proof of the Kannan-Lovasz-Simonovits conjecture "Bookmark on BibSonomy")
[Reddit](https://reddit.com/submit?url=https://arxiv.org/abs/2610.05474&title=Presenting a proof of the Kannan-Lovasz-Simonovits conjecture "Bookmark on Reddit")



Bibliographic Tools

# Bibliographic and Citation Tools

Bibliographic Explorer Toggle

Bibliographic Explorer *([What is the Explorer?](https://info.arxiv.org/labs/showcase.html#arxiv-bibliographic-explorer))*

Connected Papers Toggle

Connected Papers *([What is Connected Papers?](https://www.connectedpapers.com/about))*

Litmaps Toggle

Litmaps *([What is Litmaps?](https://www.litmaps.co/))*

scite.ai Toggle

scite Smart Citations *([What are Smart Citations?](https://www.scite.ai/))*

Code, Data, Media

# Code, Data and Media Associated with this Article

alphaXiv Toggle

alphaXiv *([What is alphaXiv?](https://alphaxiv.org/))*

Links to Code Toggle

CatalyzeX Code Finder for Papers *([What is CatalyzeX?](https://www.catalyzex.com))*

DagsHub Toggle

DagsHub *([What is DagsHub?](https://dagshub.com/))*

GotitPub Toggle

Gotit.pub *([What is GotitPub?](http://gotit.pub/faq))*

Huggingface Toggle

Hugging Face *([What is Huggingface?](https://huggingface.co/huggingface))*

ScienceCast Toggle

ScienceCast *([What is ScienceCast?](https://sciencecast.org/welcome))*

Demos

# Demos

Replicate Toggle

Replicate *([What is Replicate?](https://replicate.com/docs/arxiv/about))*

Spaces Toggle

Hugging Face Spaces *([What is Spaces?](https://huggingface.co/docs/hub/spaces))*

Spaces Toggle

TXYZ.AI *([What is TXYZ.AI?](https://txyz.ai))*

Related Papers

# Recommenders and Search Tools

Link to Influence Flower

Influence Flower *([What are Influence Flowers?](https://influencemap.cmlab.dev/))*

Core recommender toggle

CORE Recommender *([What is CORE?](https://core.ac.uk/services/recommender))*

- Author
- Venue
- Institution
- Topic


About arXivLabs

# arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? [**Learn more about arXivLabs**](https://info.arxiv.org/labs/index.html).

[Which authors of this paper are endorsers?](https://arxiv.org/auth/show-endorsers/2610.05474) |
Disable MathJax ([What is MathJax?](https://info.arxiv.org/help/mathjax.html))
141_13371603
🟧 echo.paper ⭐Submitted 4 Oct 2026: 'We present here a proof of this conjecture' — the Kannan-Lovász-Simonovits conjecture — stating 'the crucial step in Pierre Bizeul, Boaz Klartag, Joseph Lehec——
🟧 hnThe Mathocalypsephilipfweiss501

Interpretation history

Decision trace