Cercetător de la Microsoft Research și colaboratorul său demonstrează conjectura KLS veche de 31 de ani

Microsoft Research a anunțat pe 21 octombrie 2026 că Xinzhi Zhang, cercetător principal în grupul său de învățare automată și optimizare, și colaboratorul său Zhao Song au demonstrat conjectura Kannan–Lovász–Simonovits, o problemă veche de 31 de ani din geometria și probabilitatea de înaltă dimensiune, folosind un proces de cercetare cu agenți IA coordonat de oameni.

Conjectura și noua limită

Demonstrația apare în lucrarea de 140 de pagini O limită de ordin O(1) pentru constanta KLS, atribuită lui Zhao Song și Xinzhi Zhang, trimisă pentru prima dată la arXiv pe 1 octombrie 2026 și revizuită pe 4 octombrie 2026, Zhang fiind autorul care a trimis lucrarea. Rezumatul afirmă că autorii demonstrează că constanta KLS ψ_n este mărginită superior de o constantă universală C, rezolvând conjectura, și că demonstrează, de asemenea, o limită universală pentru constanta Poincaré a fiecărei măsuri de probabilitate log-concave izotrope.

În termeni formali, conjectura, formulată în 1995, întreabă dacă orice măsură de probabilitate log-concavă izotropă pe un spațiu n-dimensional are o constantă Cheeger mărginită inferior de o constantă pozitivă universală. În formularea mai accesibilă din postarea Microsoft Research, întrebarea este dacă, pentru o clasă largă de distribuții de probabilitate de înaltă dimensiune, cea mai bună tăietură plană sau hiperplană este întotdeauna aproape la fel de eficientă ca cea mai bună tăietură de orice formă, diferența dintre ele nedepășind o constantă universală, indiferent de numărul dimensiunilor. Deoarece geometria acestor tăieturi determină cât de repede pot parcurge plimbările aleatoare o distribuție, conjectura joacă un rol central în teoria eșantionării de înaltă dimensiune.

Înainte de această lucrare, cel mai bun rezultat cunoscut era lucrarea de 21 de pagini Constanta KLS este O(log^{1/4} n), semnată de Brayden Letwin și trimisă pe 27 iulie 2026. Aceasta stabilea că ψ_n este cel mult egală cu o constantă înmulțită cu log^{1/4} n, o limită care, după cum menționează postarea Microsoft Research, creștea totuși lent odată cu numărul dimensiunilor. Noua lucrare stabilește o limită fixă, care nu variază în funcție de dimensiune.

Importanța conjecturii era recunoscută cu mult înainte de rezolvarea ei. Postarea consemnează că raportul anual 2017–18 al Mathematical Sciences Research Institute o numea o problemă deschisă centrală în geometria convexă de înaltă dimensiune, că Simons Institute o descria drept una dintre cele mai importante probleme deschise din geometria convexă și că Ronen Eldan îi sublinia implicațiile largi în lucrările publicate la Congresul Internațional al Matematicienilor din 2022.

Un proces de cercetare cu agenți IA coordonat de oameni

Potrivit postării, autorii au început prin a încerca să îmbunătățească rezultatul din iulie 2026. Printr-un proces structurat și coordonat de oameni, în care au folosit agenți IA, au explorat peste 100 de abordări candidate, multe dintre ele implicând calcule îndelungate cu tensori de ordin superior, și au elaborat un nou criteriu matematic, care a devenit fundamentul demonstrației finale.

Autorii au descoperit apoi că puteau aplica recursiv criteriul, reintroducând fiecare limită îmbunătățită în același argument pentru a obține o limită și mai strânsă. În versiunea lucrării din 1 octombrie 2026, această abordare a redus dependența de dimensiune la logaritmul iterat, care crește extrem de lent, dar crește totuși odată cu dimensiunea și, prin urmare, nu rezolva încă conjectura. Ultimul pas a constat în repetarea întregii rafinări recursive, în loc să o aplice o singură dată; potrivit postării, ideea a fost inspirată de lucrările anterioare ale autorilor despre algoritmi rapizi pentru programarea liniară. Autorii au demonstrat că micile erori introduse la fiecare etapă se reduc suficient de repede, astfel încât suma lor să rămână mărginită de o constantă universală independentă de dimensiune, finalizând demonstrația în versiunea din 4 octombrie 2026.

Postarea afirmă că metoda recursivă, aplicarea ei repetată și argumentul privind erorile mărginite reprezintă contribuțiile originale ale cercetătorilor. Instrumentele IA au ajutat la explorarea abordărilor candidate, efectuarea unor derivări detaliate, pregătirea manuscrisului și verificarea internă a demonstrației, în timp ce cercetătorii au stabilit direcția matematică, au selectat ideile promițătoare, le-au reunit în argumentul final și au verificat demonstrația. Postarea descrie metoda drept o căutare cu agenți, cu eliminare iterativă asistată de oameni: în timp ce mai mulți agenți explorau în paralel variante ale unei idei, cercetătorul analiza rezultatele intermediare, elimina direcțiile nepromițătoare și transmitea celui mai promițător rezultat către runda următoare. Înainte de apariția descoperirii-cheie, au fost explorate aproximativ o sută de piste de cercetare.

Într-o direcție separată a proiectului, autorii au încercat în mod repetat, fără îndrumare, să rezolve aceeași problemă cu mai multe modele IA de vârf, folosind un buget total de tokenuri aproximativ egal cu cel al procesului principal; postarea relatează că acest efort nu și-a atins obiectivul. Potrivit postării, succesul final s-a bazat atât pe capacitățile sistemelor IA, cât și pe judecata matematică a cercetătorilor. Postarea îi mulțumește lui Song pentru contribuțiile sale la lucrare, precum și lui Victor Reis și Ishai Menache pentru discuțiile purtate pe parcursul proiectului.

Demonstrații independente și verificare automată

La 4 octombrie 2026, în aceeași zi în care a fost publicată demonstrația completă, Pierre Bizeul, Boaz Klartag și Joseph Lehec au publicat o demonstrație de 32 de pagini, elaborată în paralel, intitulată „Prezentarea unei demonstrații a conjecturii Kannan–Lovász–Simonovits”. Rezumatul lucrării afirmă că „pasul crucial al demonstrației este criteriul foarte recent al lui Song și Zhang, care implică derivate de ordin înalt ale mediilor de înclinare”, iar comentariile de pe arXiv menționează că lucrarea conține un paragraf care descrie utilizarea IA. Rezumatul prezintă problema secțiunilor lui Bourgain și conjectura varianței, alături de KLS, drept forțe motrice ale dezvoltărilor matematice din geometria de dimensiune mare din ultimele decenii.

Krishnakumar Balasubramanian și Shiva Kasiviswanathan au publicat o demonstrație separată, O bornă independentă de dimensiune pentru constanta Poincaré a măsurilor izotrope log-concave, trimisă inițial la 6 octombrie 2026 și revizuită la 8 octombrie 2026. Rezumatul acesteia descrie o demonstrație variațională deterministă, cu o bornă explicită de 25 pentru constanta Poincaré a oricărei măsuri de probabilitate izotrope log-concave.

A urmat o formalizare în Lean 4, denumită KLS500, care formalizează o constantă Poincaré independentă de dimensiune, de cel mult 500, pentru orice lege de probabilitate izotropă log-concavă. Potrivit depozitului de cod, dezvoltarea se bazează în principal pe abordarea prin cumulant și suspensie a lui Bizeul, Klartag și Lehec, integrând criteriul spectral al înclinării propus de Song și Zhang; verificarea sa a reconstruit 1.710 module matematice la nivelul zero de încredere al kernelului. Verificarea în Lean a trecut și pentru formularea exactă a conjecturii KLS definită de OpenAI, folosind constanta Poincaré universală 500. Proiectul este licențiat sub Apache 2.0.

Articolul Microsoft Research descrie demonstrațiile independente drept unele dintre cele mai puternice forme de validare din matematică, deoarece arată că un rezultat nu se bazează pe un singur lanț de raționament. Acum că problema conjecturii a fost rezolvată, precizează articolul, rezultatele care se bazau anterior pe ea ca ipoteză pot fi formulate necondiționat. Autorii și-au scurtat demonstrația și au verificat argumentul simplificat în Lean, iar articolul relatează că intenționează să le publice pe amândouă după verificarea finală.