OpenAIs AI-modell løser det 80 år gamle enhetsavstandsproblemet

OpenAI melder om et matematisk gjennombrudd. En av selskapets generelle AI-modeller har løst et kjent problem innen diskret geometri – nesten 80 år etter at det ble formulert av den ungarske matematikeren Paul Erdős. Ifølge OpenAI har resultatet allerede blitt uavhengig vurdert av matematikere.

Problemet er det såkalte enhetsavstandsproblemet. Det dreier seg om hvor mange punktpar man kan ha samtidig, slik at avstanden mellom punktene i hvert par er nøyaktig én enhet. Siden midten av 1900-tallet har forskere antatt at de mest effektive oppsettene ligner på et kvadratisk rutenett, men et endelig bevis har uteblitt.

OpenAI opplyser at modellen angrep problemet på en uventet måte. I stedet for vanlige geometriske metoder, benyttet den seg av algebraisk tallteori. Resultatet ble en ny type punktkonfigurasjon som gir flere gyldige kombinasjoner enn tidligere anslag.

Modellen var for øvrig ikke spesiallaget for matematikk. OpenAI fremhever at det var et generelt resonneringssystem, ikke et spesialisert matematisk verktøy, som ble brukt.

Uavhengige matematikere har gjennomgått beviset og bekreftet at kjernideen er gyldig. Ifølge forskerne er dette et viktig eksempel på hvordan AI ikke bare kan effektivisere analyse av kjente løsninger, men også peke på nye veier for forskning. Likevel regnes ikke problemet som helt løst – det gjenstår uavklarte spørsmål om resultatets nøyaktige grenser.

Slike påstander har tidligere skapt strid – det er rapportert om tilfeller der AI fant kjente løsninger i stedet for nye. Denne gangen understreker OpenAI at arbeidet er uavhengig verifisert, og alt forskningsmateriale er offentliggjort.