Wie The Rundown AI berichtet, hat Anthropic's KI-Modell Claude die sogenannte Jacobian-Vermutung widerlegt – ein Algebra-Problem, das Mathematiker seit 1939 beschäftigt. Forscher Levent Alpöge postete den Beweis als einzeilige Formel auf X und löste damit ein Rätsel, das T.T. Moh 2008 noch für "100 Jahre" unlösbar hielt. Experten bestätigen, dass die Lösung kurz genug ist, um direkt überprüft zu werden.
Dies ist nur das jüngste Beispiel dafür, wie Frontier-KI-Modelle klassische mathematische Probleme in Windeseile knacken – von Erdős-Problemen bis zum 80-Jahre-alten Unit-Distance-Puzzle. Für die KI-Industrie signalisiert dies ein exponentielles Skalierungspotenzial: Wenn solche Durchbrüche in Medizin, Ingenieurwesen und Naturwissenschaften Fuß fassen, könnte sich die Forschungslandschaft fundamental verändern.