DeepMind AI kraakt wiskundeprobleem dat 90 jaar onopgelost bleef

Een team van wiskundigen heeft met behulp van een kunstmatig intelligent systeem een complex wiskundeprobleem opgelost dat al meer dan 90 jaar op de plank lag. Deze doorbraak is deze week bekendgemaakt in een wetenschappelijke publicatie, waarin het systeem een geldige oplossing vond voor een probleem dat met traditionele methoden niet kon worden aangepakt. De aanpak van de AI omvatte het verkennen van miljoenen mogelijke redeneringen en het samenstellen van een keten van controleerbare stappen.

Het algoritme dat is ontwikkeld, werkt niet door simpelweg het antwoord direct te zoeken, maar door een proces van iteratief redeneren en testen. Dit doet denken aan de manier waarop programmeurs zoekalgoritmen optimaliseren. Het AI-systeem is getraind om lange, samenhangende redeneerlijnen te ontwikkelen zonder vast te lopen in onbruikbare zijpaden. De structuur die door de AI is gevonden, diende als basis voor een formeel bewijs dat door menselijke experts is nagekeken.

Het controleren van de door de AI geproduceerde bewijzen blijft cruciaal, gezien het feit dat de geldigheid van wiskundige stellingen formeel moet worden bevestigd. Het team heeft ervoor gezorgd dat sommige delen van het bewijs opnieuw zijn geformuleerd en in een zogenoemde proof assistant zijn gezet, wat helpt om controles op elke stap van het bewijs uit te voeren. Dit bewaakt de nauwkeurigheid en vergroot de kans op acceptatie binnen de wiskundige gemeenschap.

De implicaties van deze doorbraak zijn aanzienlijk, vooral voor Europa, waar fundamentele innovaties vaak voortkomen uit wiskundige theorieën. Dit onderzoek kan de ontwikkeling van nieuwe ideeën in sectoren zoals logistiek, cryptografie en dataveiligheid versnellen. De EU AI Act speelt hierbij een ondersteunende rol door te pleiten voor transparantie en reproductie in het onderzoek. Daarnaast benadrukt het belang van samenwerking tussen instellingen om de ontwikkeling van AI-toepassingen te bevorderen. Dit biedt kansen voor hogere onderwijsinstellingen om AI-tools in hun programma's op te nemen, wat studenten zou helpen bij het ontwikkelen van hun analytische vaardigheden.

Lees het volledige artikel van AI Insider.