Dräi Buschtawen hunn d’Liesart vun enger wëssenschaftlecher Annonce duerchernee bruecht: ETH. An der Aarbecht, déi OpenAI virgestallt huet, steet dat net fir Ethereum, mee fir d’« Exponentiell-Zäit-Hypothees », eng Vermuddung iwwer d’Schwieregkeet vu bestëmmte Rechenproblemer. D’Entreprise behaapt, datt hir Modeller eng Widderleeung dovun fonnt hunn. Dat wier e wichtegt theoreetescht Resultat, mee fir et ze iwwerpréiwen, geet et net duer, den Titel vum Manuskript ze liesen.
Den am Oktober 2026 verëffentlechten Dossier erlaabt et, d’Behaaptung vun OpenAI, den beschriwwenen Algorithmus an d’Aarbecht vun de Fuerscher un enger besserer Erklärung auserneenzehalen. Hie léisst och zwou ze séier gezunne Schlussfolgerungen aus dem Wee: Dës Annonce léist P géint NP net a liwwert fir sech eleng keng Method, fir Kryptowärungen ze knacken.
E Problem mat Reegelen, déi mussen erfëllt ginn
Beim ënnersichte Problem geet et drëm, Variabelen d’Wäerter « wouer » oder « falsch » zouzeweisen, an dobäi eng Rei Contrainten anzehalen. Eng Variabel kann direkt oder a senger Negatioun optrieden. Beim sougenannten 3-SAT besteet all Klausel aus héchstens dräi esou Elementer; all Klausel muss gläichzäiteg wouer sinn.
Fir sech d’Zuel vun de Méiglechkeeten ze veranschailechen, stelle mir eis Schalter mat zwou Positioune vir. Zéng Schalter erméiglechen 1 024 Konfiguratiounen; zwanzeg der 1 048 576. Dëst Beispill weist, wéi d’Zuel vun de Kombinatiounen zouhëlt, net wéi laang eng Software tatsächlech leeft: en Algorithmus kann et vermeiden, all eenzel dovun ze iwwerpréiwen.
D’ETH-Hypothees seet also net einfach, datt een all Konfiguratioune muss ausprobéieren. Si setzt eng méi allgemeng Grenz: Et wier net méiglech, all 3-SAT-Fäll a subexponentieller Zäit par rapport zu der Zuel vun de Variabelen ze léisen. D’Basis vum exponentielle Wuesstem ze verbesseren, geet net duer, fir d’Hypothees ze widderleeën. Et muss eng aner Grenz iwwerschratt ginn, déi bestëmmt, wéi d’Rechenzäit zouhëlt.
Dës Prezisioun ännert d’Bedeitung vun der Annonce. Et geet net nëmmen ëm e Programm, deen e bëssen iwwerleeën ass bei schwierege Beispiller. D’Manuskript behaapt, eng Method ze beschreiwen, där hir Komplexitéitsgrenz der Vermuddung selwer widdersprécht.
Wat d’Manuskript behaapt
A senger Versioun vum 25. Oktober beschreift den Text vun 67 Säiten en deterministeschen Algorithmus: Seng Aarbechtsweis hänkt net vun zoufällege Resultater of. Hie soll genee zielen, wéi vill Beleeungen eng Formel erfëllen, bei Klauselen, deenen hir maximal Gréisst am Viraus festgeluecht ass. Déi lescht Bedingung ass wichteg: De Parameter, deen dës Gréisst beschreift, kann net ouni Aschränkung zesumme mam Problem wuessen.
D’Léisungen ze zielen erlaabt och festzestellen, ob et iwwerhaapt eng gëtt. Wann d’Resultat null ass, ass d’Formel net erfëllbar; wann et positiv ass, ass si et. Dëse Schratt vum Zielen zur Entscheedung verbënnt dat annoncéiert Resultat mat der ETH.
D’Manuskript annoncéiert eng subexponentiell Lafzäit an e polynomielle Späicherbedarf. Dës Charakteristike beschreiwen, wéi d’Ressourcen zouhuelen, wann d’Gréisst vun den Inputen eropgeet. Si nennen net, wéi vill Sekonne e bestëmmte Computer brauch. Eng besser theoreetesch Leeschtung bei ganz groussem Ëmfang kann ëmmer nach mat Käschte verbonne sinn, déi fir alldeeglech Problemer ze héich sinn.
Dës Ënnerscheedung schützt virun engem virzäitege Versprieche vum prakteschen Asaz: D’Dokument stellt e behaapt mathematescht Resultat vir, keng disponibel Applikatioun, där hir Vitesse hei gemooss gi wier. Aus dem Résumé eleng kann een net ofleeden, datt d’Software, déi d’Lieser benotzen, méi séier gëtt.
E formelle Beweis ersetzt net déi ganz Erklärung
A senger Presentatioun vum 26. Oktober deelt OpenAI mat, datt seng Modeller d’Widderleeung de 16. Oktober fonnt hunn an den 17. eng Formaliséierung a Lean gefollegt ass. Lean ass en Beweisassistent: Mat him kann een Aussoen a Begrënnungen an enger Sprooch duerstellen, déi eng Software iwwerpréiwe kann. D’Entreprise huet d’Manuskript an déi formell Elementer zur Iwwerpréiwung verëffentlecht.
Esou e System bitt eng wäertvoll zousätzlech Méiglechkeet fir ze kontrolléieren. Trotzdeem muss ee verstoen, wéi eng Ausso formaliséiert gouf, ënner wéi enge Definitiounen a wéi si mat der wëssenschaftlecher Behaaptung zesummenhänkt. E Fichier ze kontrolléieren, de Saz vum Theorem z’interpretéieren a säin Interessi z’erklären, sinn Aufgaben, déi matenee verbonne sinn, mee net datselwecht. En Artikel ze liesen, deen d’Resultat virstellt, heescht net, datt een dës Aufgaben domat schonn erfëllt huet.
Fir d’Lieser geet et drëm, net tëscht blannem Vertrauen a blanner Oflehnung ze wielen. Déi richteg Aart a Weis, d’Resultat ze liesen, besteet doran, d’annoncéiert Erkenntnis an déi Schrëtt z’identifizéieren, mat deenen aner Spezialisten et kënnen novollzéien.
D’Fuerscher ënnerscheeden tëscht Iwwerpréiwung an Zertifizéierung
Russell Impagliazzo, Ramamohan Paturi a Ryan Williams hunn eng Initiativ fir Iwwerpréiwung an Diskussioun virgestallt. An hirem Bréif vum 26. Oktober stelle si kloer, datt hir Bedeelegung net bedeit, datt si d’Behaaptung zertifizéieren. Si leeë Wäert op eng Erklärung, déi aner Fuerscher kënnen novollzéien, a Fro stellen an notzen.
Dëse Kader ass besonnesch nëtzlech bei engem Resultat, dat als Produkt vun der KI presentéiert gëtt. Den Ursprong vum Text mécht et net iwwerflësseg, de Beweis verständlech ze maachen. Eng nei Erkenntnis gëtt notzbar, wann hir Konditiounen a Grenzen, an och d’Iddien, déi si méiglech maachen, iwwer den éischte Verëffentlechungsdossier eraus erkläert kënne ginn.
Dat heescht net, datt all fréier Aarbechten, déi op der ETH berouen, domat hiren Interessi verléieren. Eng bedéngt Implikatioun kann och dann nach richteg sinn, wann hir Ausgangshypothees a Fro gestallt gëtt. Hir Notzung als Argument fir d’Schwieregkeet vun engem Problem muss awer nei bewäert ginn, am Liicht vun deem, wat tatsächlech bewisen ass.
Weder P géint NP nach e Hacking-Tool
D’Manuskript präziséiert, datt säi Resultat keen subexponentiellen Algorithmus fir all Problemer aus der Klass NP implizéiert. D’Iwwersetzung vun engem Problem an en anere kann d’Gréisst vum Problem vergréisseren: Eng gënschteg Grenz fir eng Formuléierung kann also net automatesch op all déi aner iwwerdroe ginn.
Et beweist och net, datt all Problem, bei deem eng Léisung séier iwwerpréift ka ginn, och séier geléist ka ginn – déi Fro ass als P géint NP bekannt. « Subexponentiell » heescht net « polynomiell », a scho guer net « direkt ».
D’Annonce verdéngt et also, wéinst hirer preziser wëssenschaftlecher Behaaptung weider verfollegt ze ginn. Fir hire Bäitrag ze bewäerten, wäerten als Nächst Erklärunge wichteg sinn, mat deenen een den Algorithmus novollzéie kann, eng Klärung vu senge Konsequenzen an – separat dovun – eventuell Methoden, déi sech praktesch notze loossen. De Kürzel ETH markéiert hei den Ufank vun enger Fro iwwer Komplexitéit, net en Uerteel iwwer Ethereum.
Illustratiounsfoto: Diskussioun virun enger Mathematikstafel. Déi fotograféiert Persoune ginn net als Auteuren oder Iwwerpréifer vum Resultat duergestallt.
Fotokreditt: Yan Krukau — Pexels, Pexels-Lizenz.
