Ein schlauerer Plan statt eines schnelleren Computers?

Was inzwischen geprüft wird

Das ist ein Bild für eine Hoffnung: Neue Rechenwege könnten mehr verändern als schnellere Rechner. Es ist keine nachgewiesene Anwendung der aktuellen Forschung.

OpenAI meldete am 26. Oktober Ergebnisse aus Informatik, Mathematik und Physik. Besonders viel Diskussion löst eine behauptete Widerlegung der Exponentialzeit-Hypothese aus. Sie betrifft vereinfacht die Frage, wie stark der Rechenaufwand bestimmter schwieriger Probleme im ungünstigsten Fall wachsen muss.

Inzwischen gibt es im öffentlichen Prüfblog erste Berichte, dass die formalen Beweise mit dem Prüfprogramm Lean auf anderen Rechnern durchgelaufen sind. Der Beitrag vom 30. Oktober sammelt diese Wiederholungen. Das ist ein konkreter Prüfschritt – noch keine vollständige fachliche Einordnung der Voraussetzungen und Folgen.

Die beteiligten Fachleute hatten ausdrücklich erklärt, dass ihre Mitwirkung keine Bestätigung der Behauptung ist. Aus der Meldung folgt deshalb auch nicht, dass unsere Lieferwagen schon morgen bessere Routen fahren. Spannend ist der Weg vom erzeugten Beweis zu einem Ergebnis, das andere nachvollziehen und einordnen können.