Dit is de gecontroleerde stand van zaken op het moment van publicatie.
Een publicatie van OpenAI heeft op sociale media geleid tot de nodige opschudding en verwarring. In het betreffende paper wordt gesteld dat de Exponential Time Hypothesis, een alom bekende stelling uit 1999, zou zijn weerlegd door een AI-model. Omdat in de berichtgeving en het onderzoek veelvuldig gebruik werd gemaakt van de afkorting ETH, dachten velen aanvankelijk dat het nieuws over de bekende cryptomunt of het Ethereum-netwerk ging.
Informatica en theoretische vraagstukken
In de praktijk heeft de publicatie niets te maken met digitale valuta. De Exponential Time Hypothesis is een diepgaande stelling binnen de theoretische informatica. Het vraagstuk houdt zich bezig met de minimale hoeveelheid tijd die nodig is om complexe logische vraagstukken, zoals het bekende 3-SAT-probleem, daadwerkelijk op te lossen. Honderden eerdere wetenschappelijke onderzoeken leunden op deze hypothese, waardoor de claim van OpenAI direct de nodige aandacht trok onder wiskundigen en informatici.
Formele verificatie en onafhankelijke controle
Om de juistheid van de claims te onderbouwen, is het door het AI-model voorgestelde algoritme formeel gecontroleerd in de bewijsverificatietool Lean. Momenteel wordt het werk onafhankelijk beoordeeld door specialisten uit het vakgebied, onder wie ook de oorspronkelijke opstellers van de hypothese uit 1999. Hoewel de gelijkenis in de afkorting op sociale media tot misverstanden leidde, bevindt de discussie zich hiermee volledig binnen het academische domein van de informatica.
Gecontroleerde kernpunten
Wat is bevestigd?
- Onderwerp
- Cryptomarkt
Wat zegt dit bericht niet?
Deze publicatie voorspelt geen koersbeweging en is geen persoonlijk financieel advies. Een officiële melding kan later worden aangevuld of gewijzigd. Controleer voor besluiten altijd de actuele informatie bij de oorspronkelijke bron.