OpenAI hevder AI har løst over 100 matematiske problemer, men mangler bevis

OpenAI kunngjorde 21. september at en ikke navngitt intern modell, som startet trening 28. august, har løst mer enn 100 langvarige åpne problemer på tvers av de fleste matematiske områder, inkludert Navier-Stokes-problemet fra Millennium-prisen. Selskapet la ikke frem noen bevis, ingen spesifisert liste over problemer og ingen ekstern verifisering, noe som gjør at hele påstanden hviler på deres egne ord.chosun+1

Sammen med kunngjøringen avslørte OpenAI dannelsen av en rådgivningsgruppe for matematikk og kunstig intelligens, vertskapet ved Institute for Advanced Study i Princeton, som skal vurdere nye matematiske resultater fra AI-systemer før de blir ansett som løste.the-decoder+1

En banebrytende påstand uten dokumentasjon

Navier-Stokes-problemet om eksistens og glatthet er ett av syv Millennium-problemer etablert av Clay Mathematics Institute i 2000, der hvert problem har en premie på 1 million dollar. Ligningene beskriver væskebevegelse og brukes daglig innen fysikk og ingeniørvitenskap, men deres matematiske fundament er fortsatt dårlig forstått.npr

OpenAI hevdet først 8. september at deres AI hadde løst Navier-Stokes-problemet på 88 timer ved hjelp av omtrent 10 000 AI-agenter. Kunngjøringen 21. september utvidet omfanget dramatisk ved å legge til over 100 ytterligere løste problemer, og ifølge The Decoder, en påstått løsning på et annet Millennium-problem, Hodge-formodningen.the-decoder+2

Matematikere som har undersøkt det tidligere 166 sider lange Navier-Stokes-manuskriptet, sier at Lean-formaliseringen kompilerer korrekt, noe som tyder på at beviset er teknisk gyldig, men selve artikkelen forblir nesten uleselig. "Artikkelen er ikke skrevet for mennesker," sa Javier Gómez-Serrano, matematiker ved Brown University. James Maynard fra University of Oxford la til at "det har vært svært vanskelig å utlede noen menneskelig forståelse fra dette nye AI-beviset".npr

Kontrovers rundt hastverket med publisering

Episoden har vakt skarp kritikk fra det matematiske miljøet. Tjuefem vinnere av Fields-medaljen, inkludert Terence Tao og June Huh, publiserte et åpent brev 11. september med tittelen "A Severe Misalignment of AI in Mathematics," der de advarte om at det å behandle problemløsning som en målestokk for AI-systemer undergraver den konseptuelle forståelsen som er sentral for faget.the-decoder+1

Tristan Buckmaster, en matematiker ved New York University som hadde nærmet seg en Navier-Stokes-løsning sammen med samarbeidspartneren Levent Alpöge ved Anthropic, anklaget OpenAI for å ha lært om deres tilnærming og kappløpt om å publisere først. Ifølge Buckmaster tilbød OpenAI å sette ham på artikkelen deres hvis han droppet Alpöge. "Det er så mange indisier på at de hadde langt mer kunnskap om hva vi gjorde enn de ga uttrykk for," sa Buckmaster til NPR. OpenAI har benektet å ha brukt deres arbeid.npr

En rådgivningsgruppe med begrensninger

Den nye rådgivningsgruppen inkluderer ni matematikere, blant dem Fields-medaljevinnerne Timothy Gowers og Martin Hairer, og opererer uavhengig uten kompensasjon fra OpenAI. Medlemmer kan gi uoppfordrede råd og publisere sine anbefalinger.mixed-news+1

Gruppen har imidlertid en innebygd begrensning: den har ingen myndighet over hvor raskt OpenAI forfølger nye funn. "Viktigst er det at gruppen ikke vil være ansvarlig for å gi oss råd om hvordan vi skal styre tempoet i vår interne fremgang innen matematikk," skrev OpenAI.the-decoder+1

Clay Mathematics Institute, som bare har delt ut én Millennium-pris i sin historie, bemerket i en uttalelse 11. september at deres evalueringsprosess er "bevisst ikke-forsert," og krever publisering i et kvalifisert tidsskrift etterfulgt av minst to års generell aksept før en pris vurderes. Ingen av OpenAIs påståtte resultater har blitt publisert, noe som betyr at den klokken ikke har begynt å gå.mixed-news