Nok en matematiker anklager OpenAI for å bruke upublisert forskning til AI-gjennombrudd

OpenAI kunngjorde denne uken at en uutgitt AI-modell, koordinert gjennom en sverm av 10 000 agenter, har levert et bevis som viser at Navier-Stokes-ligningene kan «eksplodere» under visse forhold. Hvis resultatet blir bekreftet, er det bare andre gang et av matematikkens syv Millennium-problemer blir løst. Selskapet sier de ikke planlegger å kreve premiepengene på én million dollar, og Clay Mathematics Institute lister fortsatt problemet som uløst, ettersom reglene krever minst to års fagfellevurdering etter publisering før en pris kan deles ut.theconversation+1

Bragden har imidlertid blitt overskygget av anklager om intellektuelt tyveri og etiske overtramp som har rystet matematikkmiljøet.

Kappløpet om å løse Navier-Stokes

Navier-Stokes-ligningene beskriver hvordan væsker og gasser som vann og luft strømmer, og er grunnleggende for moderne vitenskap og ingeniørkunst. Millennium-spørsmålet handler om hvorvidt disse ligningene kan produsere en «singularitet», et scenario der væskehastigheten blir uendelig, noe som er umulig i naturen.scientificamerican+1

OpenAI uttalte at de den 1. september hørte rykter om at forskere hos konkurrenten Anthropic var nær ved å løse to Millennium-problemer. Selskapet tok i bruk sin nyeste interne modell, som etter 88 timers beregning og 17 timers verifisering leverte beviset. Selskapet opplyser at resultatet ble sertifisert ved hjelp av programmeringsspråket Lean, noe som nærmest garanterer matematisk korrekthet.theconversation+2

Kreditt, etikk og bedriftsrivalisering

Striden dreier seg om NYU-matematiker Tristan Buckmaster og Anthropic-ansatt Levent Alpöge, som hadde samarbeidet privat om et relatert problem. Kvelden før OpenAIs kunngjøring publiserte Buckmaster et innlegg om at duoen hadde oppnådd et gjennombrudd på Euler-ligningene, som i stor grad blir sett på som et springbrett mot Navier-Stokes.technologyreview+1

I en offentlig uttalelse hevdet Buckmaster at OpenAI kontaktet ham etter å ha fått vite om fremgangen deres, og deretter tilbød å samarbeide kun dersom han fjernet Alpöges navn på grunn av hans tilknytning til Anthropic, en påstand OpenAI avviser. Han spurte også om hans og Alpöges interaksjoner med OpenAIs offentlig tilgjengelige modeller hadde blitt brukt som treningsdata for selskapet, men sa han ikke fikk noe klart svar.theverge+3

OpenAI avviste at de hadde hentet ut spesifikke brukerdata, men innrømmet at de «ikke kan utelukke at avidentifiserte data fra deres bruk av produktene våre bidro til å forbedre modellene våre».businessinsider+1

En brems på åpen vitenskap

Den tyske matematikeren Andreas Thom har sluttet seg til kritikken og anklager OpenAI for «uærlighet» etter at hans egne spørsmål om hvorvidt hans ChatGPT-interaksjoner bidro til et annet OpenAI-resultat innen hans felt, ikke ble besvart på en tilfredsstillende måte.theverge

Fields-medaljevinner Terence Tao advarer om at dersom AI-selskaper kjemper om å komme forskere i forkjøpet basert på rykter om lovende arbeid, kan matematikere slutte å dele fremgang med det bredere miljøet, noe som undergraver prinsippene om åpen vitenskap. Som MIT Technology Review rapporterte, har kontroversen tiltrukket seg langt mer oppmerksomhet enn selve det matematiske gjennombruddet.theconversation+1