KLS conjecture proved after decades; arXiv paper notes AI was used in the proof
felpix_ · x · 2026-10-06
A new arXiv paper (2610.05474) by Pierre Bizeul, Boaz Klartag and Joseph Lehec presents a proof of the Kannan-Lovász-Simonovits conjecture, one of the driving open problems of high-dimensional geometry alongside Bourgain's slicing problem. The key step builds on a recent criterion by Song and Zhang involving high-order derivatives of tilt averages. The 32-page paper explicitly notes it "contains a paragraph describing AI use"; multiple groups reportedly resolved it the same day, sparking wide discussion.
Related event: Two AI-assisted papers claim to resolve the KLS conjecture(7 posts)→
More from Research
- Study of 227K STEM PhD abstracts links AI use to leaving academia for industry — ValerioCapraro · 2026-10-06
- Subliminal Steering presented at COLM: a more consistent take on subliminal learning — johnhewtt · 2026-10-06
- Anthropic hiring human experts to co-write paper sparks debate over responsible-release norms — basedjensen · 2026-10-06
- NeurIPS paper: better LLM memory makes worse user simulators — models need to forget like humans — tallinzen · 2026-10-06
- World Labs intern project introduces LoGo reward to fix local artifacts in video generation RL — linoy_tsaban · 2026-10-06
- RL-trained humanoid robots play soccer using only onboard vision for search, chase and kick — chris_j_paxton · 2026-10-06