🚨OpenAI sagt, seine KI habe die ETH WIDERLEGT.
ETH steht für die Exponentialzeithypothese, eine seit Langem bestehende Annahme darüber, wie schwierig bestimmte Rechenprobleme zu lösen sind, wenn sie immer umfangreicher werden.
OpenAI zufolge hat seine KI einen Algorithmus entwickelt, der schneller ist, als es die Hypothese zulässt. Damit stellt sie eine Annahme infrage, auf die sich Hunderte Forschungsarbeiten stützen.
Der Gegenbeweis wurde am 16. Oktober entdeckt, am nächsten Tag mit dem Beweisprüfungssystem Lean verifiziert und zusammen mit seiner formalen Verifikation auf GitHub veröffentlicht, so das Unternehmen.
Ryan Williams vom MIT wird den Beweis gemeinsam mit den ursprünglichen Verfassern der ETH, Russell Impagliazzo und Ramamohan Paturi, überprüfen. OpenAI zufolge ist „erhebliche zusätzliche Forschung“ nötig, um aus dem Ergebnis schnellere Algorithmen für die Praxis zu entwickeln.
Das Unternehmen meldet außerdem zwei weitere Durchbrüche:
• Mathematik: Ein Beweis der Kakeya-Vermutung in allen Dimensionen, nachdem im vergangenen Jahr bereits der dreidimensionale Fall bewiesen worden war.
• Physik: Ein Beweis, der einen Teil eines Millennium-Problems mit einem Preisgeld von 1 Million US-Dollar löst. Diese Arbeit ist noch nicht veröffentlicht; ein Team unter der Leitung des Nobelpreisträgers David Gross wird sie untersuchen.
ETH steht für die Exponentialzeithypothese, eine seit Langem bestehende Annahme darüber, wie schwierig bestimmte Rechenprobleme zu lösen sind, wenn sie immer umfangreicher werden.
OpenAI zufolge hat seine KI einen Algorithmus entwickelt, der schneller ist, als es die Hypothese zulässt. Damit stellt sie eine Annahme infrage, auf die sich Hunderte Forschungsarbeiten stützen.
Der Gegenbeweis wurde am 16. Oktober entdeckt, am nächsten Tag mit dem Beweisprüfungssystem Lean verifiziert und zusammen mit seiner formalen Verifikation auf GitHub veröffentlicht, so das Unternehmen.
Ryan Williams vom MIT wird den Beweis gemeinsam mit den ursprünglichen Verfassern der ETH, Russell Impagliazzo und Ramamohan Paturi, überprüfen. OpenAI zufolge ist „erhebliche zusätzliche Forschung“ nötig, um aus dem Ergebnis schnellere Algorithmen für die Praxis zu entwickeln.
Das Unternehmen meldet außerdem zwei weitere Durchbrüche:
• Mathematik: Ein Beweis der Kakeya-Vermutung in allen Dimensionen, nachdem im vergangenen Jahr bereits der dreidimensionale Fall bewiesen worden war.
• Physik: Ein Beweis, der einen Teil eines Millennium-Problems mit einem Preisgeld von 1 Million US-Dollar löst. Diese Arbeit ist noch nicht veröffentlicht; ein Team unter der Leitung des Nobelpreisträgers David Gross wird sie untersuchen.
