KI SpotlightNewsMicrosoft meldet Beweis der KLS-Vermutung mit dimensionsunabhängiger Schranke
Die Ankündigung stammt vom Hersteller selbst. Ob der Beweis mathematisch hält, ist noch nicht unabhängig bestätigt.
Mit KI erstelltInhalt
◆ Fakten auf einen Blick
- Microsoft Research kündigte am 21.10.2026 die Lösung der KLS-Vermutung an; die Korrektheit ist nicht bestätigt.
- Die Autoren sind Xinzhi Zhang und Zhao Song; das Paper heißt 'An O(1) Bound for the KLS Constant'.
- Das Paper erschien am 01.10.2026 auf arXiv und wurde am 04.10.2026 überarbeitet.
- Die Fassung vom 01.10. zeigte eine Schranke mit Faktor 4 hoch iteriertem Logarithmus der Dimension.
- Laut Microsoft prüften die Autoren über 100 Kandidatenansätze mit KI-Agenten in einem systematischen, menschengeführten Prozess.
Microsoft meldet O(1)-Schranke für die KLS-Konstante
Am 21. Oktober 2026 hat Microsoft Research verkündet, die Kannan-Lovász-Simonovits-Vermutung von 1995 sei bewiesen. Als Autoren nennt das Unternehmen Xinzhi Zhang von Microsoft Research und Zhao Song. Demnach erfassen flache Schnitte die engsten Engpässe log-konkaver Maße bis auf einen festen, von der Dimension unabhängigen Faktor. Das Paper „An O(1) Bound for the KLS Constant“ umfasst nach Angaben einer Quelle rund 140 Seiten. Es erschien am 1. Oktober 2026 auf arXiv und wurde am 4. Oktober 2026 überarbeitet.
Die erste Fassung lieferte noch einen Faktor von 4 hoch iterierter Logarithmus der Dimension. Dieser Faktor wächst extrem langsam, aber er wächst. Die Vermutung blieb damit ungelöst. Erst die zweite Fassung wiederholte die rekursive Verfeinerung insgesamt und schloss das Argument ab. Zuvor lag die beste bekannte Schranke bei O(log^{1/4} n), angegeben von Brayden Letwin im Juli 2026. Historisch standen Lee und Vempala 2017 mit d^{1/4}, danach Yuansi Chen mit d^{o(1)}.
Die Ankündigung stammt vom Hersteller. Die mathematische Korrektheit ist damit nicht bestätigt. KLS impliziert die Slicing-Vermutung und die Thin-Shell-Vermutung und hängt mit den Mischzeiten von MCMC-Verfahren zusammen.
Über 100 Ansätze, vom Menschen beschnitten: So lief die Agentensuche
Laut Microsoft-Beitrag prüften die Autoren in einem menschengeführten Prozess über 100 Kandidatenansätze mit KI-Agenten. Mehrere Agenten untersuchten parallel Varianten einer Idee. Ein Forscher sichtete die Zwischenergebnisse und verwarf schwache Richtungen. Viele Ansätze enthielten lange Rechnungen mit Tensoren höherer Ordnung. Am Ende stand ein neues Kriterium, das als Beweisgrundlage dient und sich rekursiv anwenden lässt.
Die Quellen betonen übereinstimmend die menschliche Führung. Manche Schlagzeilen lassen die Rolle der KI dennoch größer erscheinen. Was die Agenten konkret beitrugen – Ideen, Rechnungen oder Beweisschritte –, schlüsselt das vorliegende Material nicht auf.
Ob der Beweis hält, ist offen: Validierung und Lean-Prüfung ungesichert
Microsoft spricht von einer Validierung durch mehrere unabhängige Forscher und von einer maschinengeprüften Verifikation. Namen und Prüfstatus nennt das Unternehmen nicht. Eine Aggregator-Zusammenfassung (alphasignal) berichtet von zwei unabhängigen Beweisen am selben Tag und einer Lean-4-Formalisierung. Eine Primärquelle dafür gibt es nicht.
Aussagen, wonach Mischzeit-Schranken für log-konkaves MCMC nun „unbedingt“ gelten, stehen und fallen mit der Korrektheit des Beweises. Laut alphasignal liefert das Ergebnis zudem keine praktisch nutzbare Konstante.
Als Prüfpunkte bieten sich der Peer Review, ein öffentliches Lean-Repository, die arXiv-Einträge der angeblich zweiten Beweise und Stellungnahmen von Fachleuten an.
