KI und die schwierigen Probleme der Welt · Mathematik · Microsoft Research · 2026-10-21
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
Forschende lösten die Kannan–Lovász–Simonovits-Vermutung (KLS), die 1995 vorgeschlagen wurde und weithin als eine der zentralen offenen Fragen der hochdimensionalen Geometrie gilt. Der Beweis ging aus einem von Menschen geleiteten agentischen Prozess hervor, in dem KI-Systeme mathematische Möglichkeiten erkundeten, während Forschende die Suche bewerteten, ausdünnten und umlenkten. Das Ergebnis zeigt, dass einfache ebene Schnitte die engsten Engpässe log-konkaver Verteilungen unabhängig von der Dimension bis auf einen festen Faktor erfassen, und es wurde von unabhängigen Forschenden bestätigt, gefolgt von einer maschinell überprüften formalen Verifikation.