OpenAI oppretter matematisk rådgivningsgruppe etter gjennombrudd

OpenAI skal være nær ved å løse et nytt Millennium-problem, samtidig som deres første påstand om en løsning på Navier-Stokes-problemet, annonsert 8. september, møter økende kritikk fra matematikere som hevder selskapet utnyttet et smutthull i problemformuleringen.

En omstridt seier og en ny front

Selskapets Navier-Stokes-bevis, produsert av 10 000 autonome KI-agenter over 88 timer, ble hyllet som en milepæl da det ble annonsert. Men ifølge Scientific American løste beviset en variant av problemet som baserer seg på en kunstig ekstern kraft, en tilnærming mange eksperter mener er koblet fra den fysiske virkeligheten ligningene skal beskrive. "Det viktigste problemet er uløst," sa Luis Silvestre, matematiker ved University of Chicago, til Scientific American. "Clay-problemet er løst, men hovedproblemet for Navier-Stokes-ligningene er det ikke".scientificamerican+2

Tre matematikere har siden publisert et bevis som viser at OpenAIs metode aldri kan utvides til å løse hele problemet uten den eksterne kraften, noe som betyr at tilnærmingen har nådd en blindvei. Resultatet tilfredsstiller teknisk sett Clay Mathematics Institutes opprinnelige problemstilling, som inkluderte et alternativ for eksterne krefter, men væskedynamikere står nå overfor den ubehagelige muligheten for at ligningene kun kan eksplodere under kunstige forhold.scientificamerican

I mellomtiden rapporterte The Information mandag at OpenAI er nær ved å løse et annet av de gjenværende Millennium-problemene, og OpenAI opplyste selv 21. september at deres nye modell "nå har løst mer enn 100 langvarige åpne problemer på tvers av de fleste områder innen matematikk".openai+1

Matematikere tar til motmæle

Den raske utviklingen har skapt uro i det matematiske miljøet. Den 11. september publiserte 25 Fields-medaljevinnere en felles erklæring med tittelen "En alvorlig feiljustering av KI i matematikk", der de advarer om at KI-selskapenes kappløp for å løse kjente problemer risikerer å undergrave fagets kultur for åpen utforskning og menneskelig forståelse. "Ofte annonseres disse løsningene i hastverk, uten tid til skikkelig dokumentasjon, isolering av nye metoder og ideer, eller sitering av relevant tidligere arbeid fra andre," heter det i brevet. Det har også kommet anklager om at OpenAI presset en matematiker til ikke å kreditere en samarbeidspartner tilknyttet Anthropic.techcrunch+2

En rådgivningsgruppe som brobygger

Som svar kunngjorde OpenAI mandag en uavhengig rådgivningsgruppe for matematikk og kunstig intelligens, tilknyttet Institute for Advanced Study. Gruppens ni medlemmer inkluderer Fields-medaljevinnerne Timothy Gowers, Martin Hairer og Edward Witten, sammen med matematikere fra Harvard, Stanford, Oxford og Berkeley. Gruppen skal gi råd om gjennomgang og kommunikasjon av resultater, opprettholde akademiske standarder og operere uavhengig. Medlemmene mottar ikke lønn fra OpenAI og kan offentlig utfordre selskapets tilnærming.openai

"Det ligger vanskelige spørsmål foran oss om hvordan KI kan støtte matematisk forståelse," skrev OpenAI, og la til at de ønsker at "matematikere skal stå i sentrum for å forme svarene". Gruppen skal imidlertid ikke gi råd om hvordan OpenAI styrer tempoet i sin interne utvikling, en distinksjon som neppe vil berolige matematikere som ser maskinene akselerere forbi dem.openai