KI löst im Alleingang jahrzehntealtes Mathematikproblem

Manche Mathematiker waren so produktiv, dass Menschen kaum noch hinterherkommen, ihren Nachlass aufzuarbeiten. Paul Erdős (1913–1996) ist das beste Beispiel: Er hinterließ Hunderte offene Probleme. Eines davon, 1975 formuliert, wurde nun durch einen vollständig KI-generierten Beweis gelöst.

Was ist passiert?

KI-Modelle beeindrucken zunehmend mit ihren Mathematikkenntnissen. Im aktuellen Fall hat ein Modell weitgehend eigenständig einen Beweis entwickelt, den Fachleute anschließend geprüft haben. Die Mathematik-Community lernt dabei laufend, wie sich solche Programme am sinnvollsten einsetzen lassen – als Werkzeug, das Ideen liefert, die dann von Menschen verifiziert werden.

Warum das für uns relevant ist

Auch in der Versicherungsmathematik gewinnen KI-Methoden an Bedeutung – etwa bei Modellvalidierung, Reserveberechnung oder der Analyse großer Datenmengen. Entscheidend bleibt aber, was auch beim Erdős-Beweis gilt: Ergebnisse müssen nachvollziehbar und fachlich geprüft sein. Genau hier liegt die Verantwortung von Aktuarinnen und Aktuaren.

Quelle: DER STANDARD