Kunstig intelligens løser åpne matematiske problemer uten menneskelig hjelp

Kunstig intelligens har tatt et skritt som inntil nylig virket som science fiction: den nyeste versjonen av ChatGPT løste på egen hånd et av de komplekse matematiske problemene som er klassifisert som "åpne". Dette ble fremhevet av forsker og utvikler Neil Somani, som presenterte modellen med et ikke-trivielt problem og lot den jobbe uten menneskelig inngripen. Etter omtrent 15 minutter produserte systemet en detaljert løsning, som Somani deretter verifiserte og formaliserte ved hjelp av det matematiske verktøyet Harmonic – noe som bekreftet at beviset var korrekt.

Som rapportert av BODA.SU, var Somanis mål å forstå hvor grensen for evnene til moderne store språkmodeller i matematikk ligger. De eksperimentelle resultatene viste seg å være overraskende sterke: den nyeste ChatGPT-versjonen håndterte komplekse konsepter med selvtillit og demonstrerte et resonneringsnivå som tidligere ble ansett som utilgjengelig for AI. I forskerens syn flytter dette betydelig vår forståelse av hvilke oppgaver maskiner kan løse på egen hånd.

I sin resonneringsprosess fant ikke modellen bare et svar, men anvendte sekvensielt grunnleggende matematiske ideer og formler, og trakk på arbeider diskutert i fagmiljøet for over et tiår siden. Den endelige løsningen var ikke en kopi av kjente tilnærminger, men en uavhengig og mer fullstendig utledning for en problemvariant opprinnelig formulert av Paul Erdős. Dette generaliserings- og tilpasningsnivået var en gang karakteristisk utelukkende for mennesker.

Somani påpeker at et merkbar sprang skjedde etter utgivelsen av versjon GPT 5.2: antall problemer AI håndterer uten direkte assistanse har økt kraftig. Mens tidlige autonome suksesser på dette feltet ble registrert tidligere, har fremgangen nå blitt vanskelig å overse. Eksperter understreker at AI ikke erstatter matematikere, men blir i økende grad et kraftig verktøy som er i stand til å akselerere løsningsfunn og utvide grensene for menneskelig kunnskap.