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
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
| source | object | author | score | comments |
| 🟠 reddit | For 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 excerptOpen 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_1337 | 160 | 3 |
| 🟧 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 | — | — |
| 🟧 hn | The Mathocalypse | philipfweiss | 50 | 1 |
Interpretation history
2026-10-11T08:23:50Z
Engagement has cooled to near-zero velocity (0 pts/h, 0 comments/h, 7th percentile) after 7.7 days; the velocity spike was a minor HN bump on the Aaronson essay (ambient commentary, not evidence on this proof), and the Reddit relay remains a 3-comment thread with no independent corroboration. Neither the proof's validity nor the ChatGPT-credit claim has advanced — the paper's abstract still cites only Song-Zhang, the PDF/acknowledgments are uninspected, and no expert review has surfaced. The case stays in watching mode pending expert scrutiny or a verifiable credit confirmation, but the attention signal has faded.
2026-10-07T22:40:03Z
No substantive movement: the Reddit relay ticked to 155 points/3 comments and the attached Aaronson 'Mathocalypse' essay is ambient AI-in-math commentary, not evidence on the KLS proof's validity or the ChatGPT-credit claim, so the case's meaning is unchanged and the attach is deliberately not material. The magnitude-valve spread (3 platforms) is an arXiv fetch plus thin HN echoes riding one Reddit thread rather than independent corroboration; heat holds at medium only because expert validation or a checkable credit confirmation could land any day, not because engagement is broad.
2026-10-07T22:34:02Z
evidence attached: hn.story.49997831 — Scott Aaronson is a credible AI/math insider and his 'Mathocalypse' essay is authoritative first-party commentary on AI upending mathematical practice, directly contextual for the open KLS proof-credit (and adjacent Fermat formalization) episodes.
2026-10-06T10:05:15Z
grounded: converges/high — 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 i
2026-10-06T09:54:17Z
case created — Claimed proof of a major decades-open problem, with the paper itself the claim-owner artifact (arXiv 2610.05474, 4 Oct 2026) and a live tension worth tracking: the retrieved abstract credits the Song-Zhang criterion but does not mention ChatGPT, while the Reddit relay says the paper credits ChatGPT with most ideas.
Decision trace
- 10-11 19:23repriceEngagement has cooled to near-zero velocity (0 pts/h, 0 comments/h, 7th percentile) after 7.7 days; the velocity spike was a minor HN bump on the Aaronson essay (ambient commentary, not evidence on th
- 10-08 18:04attention_routeThe editor compared this story and chose to keep watching.
- 10-08 12:22attention_routeNew case this edit with high relevance to his Idea Provenance and evidence-ladder canon. It slots into the AI-math package in the briefing: both the proof's validity and the credit claim await in
- 10-08 12:21sensor_dirtyvelocity_spike
- 10-08 09:54attention_routeNew case this edit with high relevance to his Idea Provenance and evidence-ladder canon. It slots into the AI-math package in the briefing: both the proof's validity and the credit claim await in
- 10-08 09:40repriceNo substantive movement: the Reddit relay ticked to 155 points/3 comments and the attached Aaronson 'Mathocalypse' essay is ambient AI-in-math commentary, not evidence on the KLS proof'
- 10-08 09:34attention_candidateattach
- 10-08 09:34attachScott Aaronson is a credible AI/math insider and his 'Mathocalypse' essay is authoritative first-party commentary on AI upending mathematical practice, directly contextual for the open KLS p
- 10-08 09:34propose_attachScott Aaronson is a credible AI/math insider and his 'Mathocalypse' essay is authoritative first-party commentary on AI upending mathematical practice, directly contextual for the open KLS p
- 10-07 17:22sensor_dirtyvelocity_spike
- 10-07 10:23sensor_dirtyvelocity_spike
- 10-06 22:22sensor_dirtyvelocity_spike
- 10-06 21:05groundA 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 pas
- 10-06 20:54createClaimed proof of a major decades-open problem, with the paper itself the claim-owner artifact (arXiv 2610.05474, 4 Oct 2026) and a live tension worth tracking: the retrieved abstract credits the Song-