25 Fields-medaljevinnere advarer: AI-påstander om matematiske gjennombrudd truer fagfeltet

OpenAI kunngjorde 8. september at en ikke-utgitt intern AI-modell har løst Navier-Stokes-problemet om eksistens og glatthet – et av de syv Millennium-problemene i matematikk – ved å koordinere rundt 10 000 AI-agenter over 88 timer. Påstanden, som fortsatt venter på uavhengig verifisering, har utløst en heftig krangel om kreditering, personvern og AI sin rolle i vitenskapelig forskning.venturebeat+2

Beviset og konflikten

Navier-Stokes-ligningene beskriver bevegelsen til væsker og gasser, som vann og luft, og danner grunnlaget for moderne vitenskap og ingeniørkunst. OpenAI hevdet at modellen deres viste at ligningene kan utvikle en singularitet – en «eksplosjon» i hastighet – innen begrenset tid, et spørsmål som har forbløffet matematikere i flere tiår. Selskapet opplyste at de startet arbeidet etter å ha hørt rykter om at forskere tilknyttet rivalen Anthropic var nær en løsning.galaxy+3

Timer før OpenAI sin kunngjøring publiserte NYU-matematikeren Tristan Buckmaster en uttalelse der han avslørte at han og Anthropic-forskeren Levent Alpöge hadde brukt over et år på å jobbe med det samme problemet ved hjelp av flere store språkmodeller, inkludert OpenAI sin Codex. Buckmaster sa at da han kontaktet OpenAI om arbeidet sitt, inviterte selskapets forsker Sebastien Bubeck ham til å samarbeide – på betingelse av at Alpöge sitt navn ble fjernet på grunn av hans tilknytning til Anthropic. Da Buckmaster nektet, skal Bubeck ha spurt: «Hvorfor vil du ødelegge karrieren din?» OpenAI har avvist påstanden.singularityhub+4

OpenAI erkjente også at de ikke fullt ut kunne utelukke at brukerdata bidro til å trene modellene deres. «Selv om det er usannsynlig, kan vi ikke utelukke at avidentifiserte data hentet fra deres bruk av våre produkter bidro til å forbedre modellene våre,» uttalte selskapet.venturebeat+1

Matematikere tar til motmæle

Den 11. september signerte tjuefem Fields-medaljevinnere – inkludert Terence Tao – et åpent brev der de advarer om at AI-selskapers hastverk med å kreve matematiske gjennombrudd truer fagfeltets fundament. Undertegnerne argumenterte for at løsninger som kunngjøres forhastet, uten skikkelig dokumentasjon eller kreditering av tidligere arbeid, undergraver samarbeidskulturen som opprettholder matematikken. «Uten de villige matematikerne som må ta seg av utviklingen og integreringen i den matematiske kanon, ville AI-unnfangede ideer aldri blitt fullt ut levende,» sto det i brevet.techcrunch+1

Tao advarte separat om at hvis AI-selskaper «hopper på et rykte om lovende arbeid og kaster millioner av dollar etter å prøve å utkonkurrere rivaler, kan forskere ende opp med å ikke lenger dele lovende forskning med det bredere fellesskapet». OpenAI trakk sitt sponsorat av et matematikkarrangement ved Caltech denne uken etter kritikk fra forskere der.singularityhub+1

Bredere implikasjoner

Episoden har reist spørsmål som strekker seg langt utover matematikk. Clay Mathematics Institute oppfører fortsatt Navier-Stokes-problemet som «aktivt» fremfor «løst», og ifølge deres regler kan ingen pris deles ut før minst to år etter publisering. OpenAI har sagt at de ikke vil kreve inn prispengene på 1 million dollar.theweek+2

Kontroversen oppstår samtidig som både OpenAI og Anthropic forbereder seg på planlagte børsnoteringer, noe som gir begge selskaper insentiver til å vise frem modellene sine. Som Fields-medaljevinnerne skrev: «Problemene det matematiske miljøet står overfor nå, ligner på problemer som andre vitenskapelige og kreative yrker står overfor, og indikerer utfordringer som hele menneskeheten kan komme til å møte».galaxy+1