OpenAI har offentliggjort over 700 matematiske forskningsartikler, med mulige løsninger på hundrevis av problemer som har utfordret matematikere i flere tiår.
En matematikkprofessor mener ett av resultatene ville kvalifisert til matematikkens mest prestisjefylte utmerkelse, Fields-medaljen.
Tiår med uløste problemer kan være løst
Den 6. oktober publiserte KI-selskapet OpenAI hele 722 matematiske manuskripter, fordelt på 372 grupper av forskningsresultater. Arbeidet er utført av en foreløpig ikke offentliggjort KI-modell, som ble satt til å arbeide med rundt 4.000 matematiske problemer.
Ifølge The Wall Street Journal omfatter resultatene mulige løsninger på mer enn 300 problemer innen blant annet tallteori, algebra og geometri. Flere har vært uløste i flere tiår.
Blant resultatene finnes også fremskritt knyttet til flere av matematikkens mest berømte uløste problemer, deriblant Riemann-hypotesen som ble formulert i 1859 og handler om fordelingen av primtall. Den regnes som et av matematikkens viktigste uløste spørsmål og er ett av de såkalte Millennium Prize-problemene, som har en premie på én million dollar for en godkjent løsning.
OpenAIs KI-modell har ikke løst selve hypotesen, men presentert et beslektet resultat, omtalt som «quasi-Riemann-hypotesen». Resultatet fikk matematikkprofessor Alex Kontorovich ved Rutgers University til å reagere kraftig.
– Hvis et menneske hadde gjort dette, ville det umiddelbart gitt en Fields-medalje, uten spørsmål, skrev han på X, ifølge Wall Street Journal.
Fields-medaljen regnes som matematikkens svar på Nobelprisen.
Også andre matematikere har reagert med begeistring. Ifølge Wall Street Journal beskrev en forsker hos OpenAI-konkurrenten Anthropic offentliggjøringen som det mest betydningsfulle øyeblikket i matematikkens historie.
Les også: KI har gjort ti matematiske gjennombrudd
Trukket tilbake tre artikler
Resultatene er imidlertid ikke ferdig kontrollert. OpenAI opplyser selv at forskningsarbeidene befinner seg på ulike stadier av verifisering, og at noen kan inneholde feil.
Allerede dagen etter offentliggjøringen ble tre manuskripter trukket tilbake som følge av en matematisk fortegnsfeil. Ytterligere 14 ble revidert, ifølge Retraction Watch.
Dermed gjenstår 719 manuskripter. Rundt 42 prosent av hovedresultatene har så langt fått formelle bevis skrevet i Lean, et system som gjør det mulig å kontrollere matematiske bevis ved hjelp av datamaskiner.
Det enorme omfanget har også skapt utfordringer for forskerne som skal kontrollere resultatene. Flere matematikere har overfor The Verge uttalt at det kan ta flere år å gjennomgå og forstå hele materialet.
Samtidig har offentliggjøringen utløst debatt om hvilken rolle menneskelige matematikere skal ha dersom KI kan løse problemer som tidligere krevde mange års forskning.
OpenAI kunngjorde 15. oktober at selskapet bidrar med fem millioner dollar til et nytt initiativ gjennom Simons Foundation, som skal hjelpe forskere med å undersøke og videreutvikle KI-resultatene. Selskapet vil også stille KI-modeller og datakraft til disposisjon for forskere som deltar i initiativet.
Les også: Kunstig intelligens finner sykdommer legene har oversett