KI-Berichte · Microsoft · 2026-10-21 · Blog / Kommentar
Lösung einer 31 Jahre alten großen Herausforderung der Mathematik – der KLS-Vermutung
Originaltitel: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
Ein Microsoft-Forscher und ein Koautor haben die Kannan–Lovász–Simonovits-Vermutung (KLS) gelöst, ein 31 Jahre altes Problem aus dem Jahr 1995, das weithin als eine der zentralen offenen Fragen der hochdimensionalen Geometrie galt. Das Ergebnis begründet ein universelles geometrisches Prinzip für log-konkave Verteilungen und zeigt, dass einfache flache Schnitte deren engste Flaschenhälse unabhängig von der Dimension innerhalb eines festen Faktors erfassen. Der Durchbruch ging aus einem menschlich geleiteten agentischen Forschungsprozess hervor, bei dem KI-Systeme Möglichkeiten erkundeten, während Forschende die Suche bewerteten und in neue Richtungen lenkten; er wurde unabhängig bestätigt und anschließend durch maschinell geprüfte formale Verifikation abgesichert.