AI widerlegt Exponential Time Hypothesis: Theoretical CS Research Shifts

AI widerlegt Exponential Time Hypothesis: Theoretical CS Research Shifts

In einem IEEE Symposium hat Professor Peter Jonsson festgestellt, dass eine zentrale Annahme der theoretischen Informatik widerlegt wurde. Die sogenannte "Exponential Time Hypothesis" (ETH), die seit Jahrzehnten als Basis für viele Algorithmen gilt, ist nun falsch.

Jonsson erwartet, dass dies in den nächsten zwei Wochen bei einem Kongress präsentiert wird. Viele seiner Arbeiten basieren auf der Annahme, dass bestimmte Probleme mit zunehmender Komplexität exponentiell länger dauern würden. Da diese Annahme widerlegt ist, könnten viele dieser Berechnungen drastisch schneller sein.

Die Quellen zeigen, wie die Reaktion auf diese Entdeckung aussieht:

• Offizielle Verifizierung: OpenAI hat 722 Manuskripte von mathematischen Problemen auf GitHub geladen. Dies soll helfen, die Ergebnisse zu verstehen und zu überprüfen.
• Neues Release-Prozess: OpenAI arbeitet an einem neuen Ansatz, bei dem externe Experten als "Shepherds" fungieren, um die Ergebnisse transparent zu verifizieren. Die Rohdaten werden öffentlich zugänglich gemacht.
• Kontext: Der Mathematiker Thore Husfeldt beschreibt den Prozess wie das Aufleuchten eines dunklen Raumes durch Licht. Er sieht dies als spannende Zeit für die Forschung, auch wenn es psychologisch belastend sein kann.

Die Quellen belegen, dass die theoretische Informatik in diesem Moment stark betroffen ist und sich neu orientiert. Es wird nicht mehr einfach angenommen, wie lange Probleme dauern, sondern muss selbst überprüft werden.