Een langdurig onopgelost vraagstuk binnen de theoretische informatica heeft een definitief antwoord gekregen. Dankzij de inzet van kunstmatige intelligentie is vastgesteld dat quantumcomputers voor een specifieke categorie wiskundige problemen niet wezenlijk sneller kunnen rekenen dan traditionele, klassieke computers. Deze ontdekking bevestigt een wetenschappelijke vermoeden dat al decennia bestond.
De oorsprong van de hypothese
De wortels van dit onderzoek liggen in het werk van Scott Aaronson van de University of Texas at Austin. Aan het einde van de vorige eeuw onderzocht hij onder welke precieze condities quantumcomputers superieur zijn aan conventionele systemen. Hoewel bekend was dat quantumtechnologie uitblinkt bij specifieke taken, zoals het ontbinden van getallen in priemfactoren, vermoedden wetenschappers dat dit succes afhankelijk was van een specifieke wiskundige structuur in het probleem.
Aaronson onderzocht of dit voordeel ook gold voor problemen die juist geen duidelijke structuur hebben, maar gekenmerkt worden door willekeur. In 2011 formuleerde hij samen met Andris Ambainis van de Universiteit van Letland de zogenaamde Aaronson-Ambainis (AA) conjecture. In deze hypothese stelden zij dat quantumcomputers bij dergelijke ongestructureerde problemen geen significant voordeel zouden bieden. Ondanks de sterke vermoedens lukte het de onderzoekers destijds niet om dit wiskundig te bewijzen.
Doorbraak via kunstmatige intelligentie
De definitieve bevestiging van deze theorie is onlangs bereikt door David Turturean en zijn team bij de start-up Physical Superintelligence (PSI). Voor het leveren van het bewijs maakten zij gebruik van het Fable 5.2-model van Anthropic. Volgens newscientist.com is dit AI-model erin geslaagd om de complexe wiskundige bewijsvoering te formuleren die menselijke experts tot nu toe niet konden voltooien.
De impact van deze bevinding is aanzienlijk. Het betekent dat een volledige klasse van wiskundige problemen kan worden uitgesloten in de zoektocht naar de meest effectieve toepassingen van quantumcomputing. Zoals beschrijft, bakent dit resultaat scherper af waar de werkelijke kracht van quantumtechnologie ligt en waar deze simpelweg niet efficiënter is dan de huidige computertechnologie.
Wetenschappelijke reacties en toekomstperspectief
Andris Ambainis, een van de grondleggers van de hypothese, ziet dit als een zeer heldere wiskundige vraag met directe implicaties voor de sector. Hij gaf aan dat het probleem zo hardnekkig was dat hij zelf inmiddels was gestopt met het zoeken naar een oplossing.
David Turturean benadrukt dat dit een van de weinige langlopende openstaande vragen was die het waard was om na te streven. Door de inzet van AI is nu onomstotelijk aangetoond dat de beperkingen waar Aaronson en Ambainis in 2011 naar wezen, feitelijk correct zijn. Volgens de biedt dit een essentieel kader voor toekomstig onderzoek.
In plaats van te zoeken naar versnellingen voor problemen zonder structuur, kunnen wetenschappers hun focus nu verleggen. De aandacht zal verschuiven naar gebieden waar de wiskundige eigenschappen van een probleem wel degelijk een quantumvoordeel mogelijk maken. Hiermee helpt de de wetenschap om efficiënter te bepalen waar quantumcomputers echt het verschil kunnen maken.