OpenAI publiserte 722 matematiske artikler fra uutgitt AI-modell

Tirsdag 6. oktober publiserte OpenAI 722 matematiske manuskripter i et offentlig GitHub-arkiv, sortert i 372 såkalte resultatfamilier. Selskapet hevder at en uutgitt intern modell står bak arbeidet. Scientific American meldte at arkivet ble gjort tilgjengelig kl. 18.00 EDT. Matematikere forventes å bruke måneder på å gå gjennom resultatene for å vurdere om bevisene inneholder nye ideer eller i hovedsak kombinerer eksisterende teknikker.openai+2

Utgivelsen kommer en måned etter at OpenAI den 8. september kunngjorde at det samme interne systemet hadde bevist at tredimensjonale Navier-Stokes-strømninger kan utvikle singulariteter i løpet av begrenset tid. Dette problemet er ett av Clay Mathematics Institutes Millennium Prize Problems. Kunngjøringen om Navier-Stokes har møtt vedvarende kritikk knyttet til kreditering, åpenhet og tempoet selskapet publiserer resultater i.scientificamerican+2

Hva inneholder arkivet

Familiene er fordelt på 17 fagfelt, hvor teoretisk informatikk, kombinatorikk, algebraisk geometri og tallteori utgjør flertallet av oppføringene. Katalogen inkluderer påståtte resultater om irrasjonalitetseksponenten til pi, Mahler-formodningene, NP-hardhet, isomorfisme av frie gruppefaktorer og de relativistiske Vlasov-Maxwell-ligningene.interestingengineering+2

OpenAI publiserte også Lean-formaliseringer av mange av bevisene. Lean er et programmeringsspråk som lar en datamaskin kontrollere hvert logiske steg i et bevis. Ikke alle manuskripter er imidlertid formalisert. Arkivets README-fil advarer om at enkelte uformaliserte resultater "kan ha mangler", og formaliseringsmanifestet merker gjennomgangsstatusen som "ikke kontrollert".kingy+2

Selskapet opplyste at modellen forsøkte seg på rundt 4 000 problemer i løpet av evalueringen. De hevdet at gjennomsnittlig resultat brukte beregningskraft tilsvarende "omtrent tre timer med tenkning fra ChatGPT Pro". Ti forkortede sammendrag av modellens resonnement er inkludert. OpenAI oppga ikke totale kostnader, antall tokens eller navnet på den offentlige modellen.unite+2

Råd fra ekspertgruppe kun delvis fulgt

OpenAI uttalte at de utformet utgivelsen basert på råd fra den uavhengige Advisory Group on Mathematics and Artificial Intelligence, tilknyttet Institute for Advanced Study i Princeton, New Jersey. Gruppen kom med anbefalinger 29. september. Disse krever at laboratorier publiserer modellnavn, instruksene som er brukt og beregningskostnaden for hvert resultat, samt deponerer resultater i arkiver som ingen AI-lab kontrollerer. OpenAI publiserte verken instrukser eller beregningsdata per resultat. En talsperson for selskapet fortalte Scientific American at OpenAI tar retningslinjene på alvor, men ikke er bundet av dem.scientificamerican+2

Den samme talspersonen sa at nesten hvert resultat kom fra én enkelt instruks gitt til én enkelt agent, selv om noen kan ha krevd flere forsøk.scientificamerican

Delte reaksjoner

"Vi bør be om dokumentasjon," sa Andrew Sutherland, matematiker ved MIT, til Scientific American. Han uttalte at påstander om å løse problemer på første forsøk bør behandles som ubekreftede inntil modellen er utgitt. Daniel Litt ved University of Toronto hadde et motsatt syn: "For meg er dette en god ting for matematikken".scientificamerican

OpenAI opplyste at de planlegger å finansiere workshops og konferanser for å hjelpe matematikere med å forstå AI-genererte resultater, og at de jobber med å "ansvarlig utgi modellen" bak dem.openai