Ein Matheproblem, älter als Google, wurde gelöst – die KI übernahm den Großteil der Suche. Ein Microsoft-Forscher bewies die 31 Jahre alte Kannan–Lovász–Simonovits-Vermutung, nachdem KI-Agenten über 100 Ansätze erkundet hatten.

Microsoft Research gab am 21. Oktober 2026 bekannt, dass die leitende Forscherin Xinzhi Zhang und ihr Kollaborateur Zhao Song die Kannan–Lovász–Simonovits-Vermutung bewiesen haben – ein zentrales offenes Problem der hochdimensionalen Geometrie aus dem Jahr 1995. Ihr 140-seitiges Paper "An O(1) Bound for the KLS Constant" (arXiv, 1. Oktober, überarbeitet am 4. Oktober) etabliert eine dimensionsunabhängige Schranke und entstand in einem menschengesteuerten agentischen Forschungsprozess, bei dem KI-Systeme rund 100 Forschungspfade erkundeten, während die Forscher den Suchraum beschneideten und umlenkten. Warum das wichtig ist: KLS untermauert die Theorie des hochdimensionalen Samplings in Statistik, Optimierung und Algorithmen – und der Beweis, bereits von unabhängigen Teams bestätigt und per Lean 4 maschinell verifiziert, markiert einen Meilenstein KI-gestützter mathematischer Entdeckung.

• Rohan Paul2026-10-22 06:11