OpenAI melder at en ny intern KI-modell har løst eller gjort betydelige fremskritt på ti langvarige problemer innen matematikk og teoretisk informatikk. Flere av problemene har stått åpne i flere tiår.
Resultatene spenner fra geometri og gruppeteori til kvanteinformatikk, kryptografi og kombinatorikk, opplyser OpenAI.
Løser flere gamle problemer
Arbeidet er gjort av en intern versjon av Astra, som OpenAI omtaler som selskapets neste store modell. Ifølge selskapet genererte modellen de matematiske argumentene selv. Mennesker bearbeidet deretter resultatene til manuskripter ved hjelp av den samme modellen, før argumentene også ble formalisert i bevisverktøyet Lean.
OpenAI anslår at mengden databehandling som gikk med til å finne løsningene, ville kostet rundt 2.000 dollar med dagens priser på selskapets Sol-modeller.
Blant resultatene er en konstruksjon som skal avgjøre et gammelt spørsmål innen gruppeteori om såkalte «sofic groups». Modellen skal ha vist at ikke alle grupper er sofiske – et spørsmål matematikere lenge ikke har visst svaret på.
Den skal også ha motbevist Connes’ rigiditetsformodning innen operatoralgebra, bevist Ehrharts volumformodning i alle dimensjoner og løst flere problemer knyttet til Ramsey-tall og ekstremal grafteori.
Andre resultater gir nye grenser innen blant annet kulepakking i høye dimensjoner, feilkorrigerende koder og «closest vector problem» – et sentralt problem innen gitterbasert matematikk med relevans for post-kvantekryptografi.
OpenAI har samlet resultatene i et omfattende matematisk manuskript på over 250 sider. Selskapet oppfordrer nå matematikere til å gjennomgå resultatene, sette dem i sammenheng med eksisterende forskning og bygge videre på metodene.
Les også: Ness: – Norge kunne blitt en stormakt på «datakraft» (+)
Har allerede løst 80 år gammelt problem
Resultatene følger et tidligere gjennombrudd i mai, da en annen intern OpenAI-modell motbeviste en nesten 80 år gammel formodning fra den ungarsk-amerikanske matematikeren Paul Erdős.
Problemet handlet om hvor mange par punkter i et plan som kan ligge nøyaktig én enhet fra hverandre. Beviset ble kontrollert av eksterne matematikere, og Fields-medaljevinner Tim Gowers beskrev resultatet som en milepæl for KI innen matematikk.
OpenAI satser samtidig på å få teknologien ut til forskere. Selskapet har lansert ChatGPT for Academic Researchers, som etter planen skal gi opptil 100.000 forskere, matematikere og ingeniører gratis tilgang til selskapets mest avanserte modeller gjennom 2027.
Les også: KI brukes i over halvparten av nettkriminaliteten i Afrika