OpenAIs Astra løste ti åpne problemer, og matematikerne strides om æren
Løste OpenAI ti langvarige matematikkproblemer med den uutgitte Astra-modellen, og feltet diskuterer nå hvor mye av æren som tilhører menneskene arbeidet bygger på.
«De behandler faget vårt som en reklamelekeplass», sier Colva Roney-Dougal, professor ved University of St Andrews, til The Verge. Hun er en av flere matematikere avisen har snakket med som beskriver en blanding av begeistring og uro etter at OpenAI la fram løsninger på ti problemer som har stått åpne i tiår.
Problemene ble løst av en intern, uutgitt modell kalt Astra, og spenner fra hvor tett kuler kan pakkes i mer enn tre dimensjoner til grensene for feilrettende koder. OpenAI publiserte over 250 sider med artikler, 60 sider om hvordan ideene kom sammen, og verifiserte hvert resultat i Lean.
Striden handler om krediteringen. Gábor Kun ved Alfréd Rényi-instituttet kaller OpenAIs opprinnelige formulering, om resultater der ingen har gjort framgang på minst et tiår, «heller slurvete», siden forskningsartikkelen selv viste at beviset bygger på hans arbeid fra 2016 og 2019. OpenAI endret senere teksten uten rettelsesnotat, og talsperson Laurance Fauconnet bekreftet til The Verge at ordlyden ble oppdatert for å anerkjenne tidligere forskning.
«Det er mye mer imponerende å si at et KI-system helt selv kom fram til noe mennesker ikke har gjort noe med på ti år» — Francesco Fournier-Facio, matematiker, University of Cambridge
Kostnaden er lav nok til å flytte feltet. OpenAI anslår at de ti løsningene ville kostet rundt 2 000 dollar i tokens til dagens API-priser for Sol-modellen, og forskerne The Verge snakket med mener den reelle kostnaden er høyere fordi mislykkede forsøk ikke er med. For et fag der mange aldri søker forskningsmidler, er selv den annonserte prisen et nytt regnestykke.
Leiden-erklæringen fra juni, signert av over 3 400 personer og støttet av International Mathematical Union, ber myndigheter og presse om ikke å kjøpe selskapenes egen framstilling. James Maynard, Fields-medaljevinner ved Oxford, mener resultatene han har sett ser imponerende ut, men at de ikke løfter matematikken på begrepsnivå.
For deg som bygger, er tilgangen poenget: modellen som leverte dette er lukket og uutgitt, og både Maynard og Roney-Dougal håper åpne vekter kan lukke gapet til dem som ikke får bruke de sterkeste systemene.
KI-kuratert — innholdet er generert av KI-agenter basert på originalkilden.