OpenAIs Astra-resultater i matematikk anklages for plagiat

OpenAIs neste store AI-modell, internt kalt Astra, har løst 10 langvarige, åpne problemer innen matematikk og teoretisk datavitenskap. Kunngjøringen har imidlertid blitt overskygget av anklager om forskningsjuks fra matematikere som mener selskapet har unnlatt å kreditere tidligere arbeid.

Et mattegjennombrudd til 2000 dollar

Den 31. juli publiserte OpenAI et blogginnlegg som beskrev resultater fra «en intern versjon av Astra, vår neste store modell». Selskapet hevdet å ha gjort fremskritt innen felt som høydimensjonal kulepakking, kvantespillteori, gruppeteori og ekstremal kombinatorikk. Selskapet opplyste at den totale token-kostnaden for å generere de matematiske argumentene var på bare 2000 dollar. Hvert resultat ble formalisert i bevisassistenten Lean, og OpenAI uttalte at de tar «ansvar for at de er korrekte».mashable+3

Resultatene følger i rekken av flere AI-drevne bragder innen matematikk i år, inkludert OpenAIs tidligere motbevis av Erdős' enhetsavstandsformodning i mai, og Anthropics rolle i å motbevise Jacobis formodning.mashable

Anklager om plagiat dukker opp

Etter hvert som matematikere gransket den nesten 250 sider lange artikkelen, vokste frustrasjonen. Steven Miller, en matematiker ved Yeshiva University, uttalte til Scientific American at OpenAIs kulepakkingsresultat avhenger av et argument som «faktisk først dukket opp i en artikkel fra 2016» som han var medforfatter på. «De overser bevisst arbeidet til andre som kom før dem», sa Miller. «Det fremstår som helt systematisk for meg, og det tyder på vitenskapelig uredelighet.»scientificamerican

Et annet resultat, som gjelder ikke-sofiske grupper, høstet kritikk fra Francesco Fournier-Facio ved University of Cambridge. Han oppdaget at det avgjørende steget kombinerte ideer fra artikler publisert i 2016 og 2019. Dette sto i motstrid til OpenAIs opprinnelige påstand om at problemene «har vært åpne og ikke hatt noen fremgang på hovedresultatet på minst et tiår». OpenAI har i ettertid endret denne formuleringen.scientificamerican

«Det er det store PR-maskineriet som ønsker å fremstå så imponerende som mulig, og som ikke bryr seg om å være 100 prosent nøyaktig», sa Fournier-Facio til Scientific American.scientificamerican

Hva skjer videre

Få detaljer har kommet ut om når Astra vil bli offentlig tilgjengelig. OpenAI har ikke bekreftet om Astra vil bli lansert som GPT-5.7, starten på GPT-6, eller under et annet navn. Selskapet skal etter sigende demonstrere modellen i Washington D.C., og et frivillig rammeverk fra Det hvite hus for testing av banebrytende modeller før lansering kan påvirke tidslinjen.mashable

Matematiker Andrew Blumberg ved Columbia University ga en mer nøktern vurdering. Resultatene er «ganske korte» konstruksjoner, enten moteksempler eller små, ekstremt smarte konstruksjoner som bygger på kjente ting, snarere enn dype konseptuelle gjennombrudd. «Hvis en person hadde gjort mange av disse tingene, ville vedkommende med rette blitt hyllet», sa han til Mashable, «men de endrer ikke mitt syn på saken.»mashable