OpenAI heeft een wiskundige doorbraak aangekondigd. Een van zijn algemene AI-modellen heeft een beroemd probleem uit de discrete meetkunde opgelost, bijna tachtig jaar nadat de Hongaarse wiskundige Paul Erdős het stelde. Volgens het bedrijf is het resultaat inmiddels beoordeeld door onafhankelijke experts uit de wiskundewereld.
Het gaat om het zogenoemde eenheidsafstandsprobleem op het vlak. Dat onderzoekt wat het maximale aantal puntenparen is dat je zo kunt plaatsen dat de onderlinge afstand precies één eenheid is. Sinds halverwege de vorige eeuw dacht men dat de meest efficiënte configuraties in de buurt van een klassiek vierkantsrooster zouden liggen, maar een sluitend bewijs bleef uit.
Volgens OpenAI benaderde het model het probleem op een onverwachte manier: het gebruikte ideeën uit de algebraïsche getaltheorie in plaats van de gebruikelijke meetkundige methoden. Het stelde daarbij een nieuwe familie puntconfiguraties voor die meer geldige combinaties oplevert dan eerdere schattingen.
Opvallend is dat het model niet speciaal is ontwikkeld voor wiskundige problemen. Het bedrijf benadrukt dat het een algemeen redeneersysteem betrof, geen gespecialiseerd wiskundig instrument.
Een aantal onafhankelijke wiskundigen heeft het bewijs bekeken en bevestigt de geldigheid van het kernidee. Volgens onderzoekers is dit een mooi voorbeeld van hoe AI niet alleen bestaande oplossingen sneller kan analyseren, maar ook nieuwe wetenschappelijke richtingen kan voorstellen. Toch is het probleem nog niet volledig opgelost: er blijven vragen over de exacte grenzen van het resultaat.
Opvallend is dat vergelijkbare claims in het verleden voor opschudding hebben gezorgd: er waren gevallen waarin AI bekende oplossingen vond in plaats van nieuwe. Ditmaal benadrukt OpenAI dat het resultaat extern is geverifieerd en dat het onderzoeksmateriaal is gepubliceerd.