OpenAI publiserer stor samling matematiske gjennombrudd fra upublisert AI-modell

Bilde: The Verge · Kilde

OpenAI har gitt ut 722 manuskripter som beskriver løsninger på hundrevis av langvarige åpne matematiske problemer, produsert av en intern AI-modell som ikke tidligere er publisert. Arbeidet, delt via GitHub, bidrar til AI-drevne fremskritt samtidig som det reiser spørsmål om forskningsetikk og akademiske normer.

OpenAI har offentliggjort en omfattende samling matematiske resultater generert av en upublisert intern kunstig intelligensmodell, bestående av 722 manuskripter gruppert i 372 familier av relaterte artikler. Denne store publiseringen skal løse hundrevis av langvarige åpne spørsmål på tvers av ulike områder av matematikk, og følger dermed en nylig trend med AI-assisterte gjennombrudd i feltet. Materialene er tilgjengelige i et offentlig GitHub-repository, inkludert formaliserte bevis, oppsummeringer av resonnement og støttende artefakter.

Ifølge OpenAI er langt de fleste resultatene utledet ved hjelp av en konsistent prosedyre hvor den interne modellen ble anvendt på omtrent 4 000 problemer, med en gjennomsnittlig beregningstid tilsvarende tre timer på ChatGPT Pro per resultat. Disse individuelle outputtene ble samlet, grundig organisert og validert før utgivelse. Noen komplekse tilfeller, slik som bevis knyttet til nullfrie områder av Riemanns zetafunksjon og Hodge-formodningen for CM abelske varianter, involverte unntak fra standardprosessen og menneskelig redigering for klarhet.

Det publiserte repositoryet tilbyr en detaljert katalog sortert etter matematisk disiplin, som muliggjør navigasjon gjennom hovedresultatene og deres følgeskrifter. Mange manuskripter har tilhørende formelle verifikasjoner ved bruk av Lean bevisassistent, selv om en del fortsatt ikke er formalisert og kan inneholde feil, som OpenAI forplikter seg til å rette i fremtidige oppdateringer.

Denne offentliggjøringen følger anbefalingene fra Advisory Group on Mathematics and Artificial Intelligence, som oppmuntret AI-forskningslaboratorier til å dele matematiske funn raskt gjennom etablerte akademiske kanaler, samtidig som man gir transparente detaljer som modellnavn, treningsdata og beregningskostnader. Gruppen advarte også mot å bruke slike resultater bare som markedsføringsverktøy på grunn av potensiell skade for matematikksamfunnet.

Den bredere virkningen av disse AI-genererte resultatene er fortsatt i utvikling mens matematikere over hele verden undersøker og validerer funnene. Disse bidragene er del av et raskt voksende korpus av AI-basert matematisk forskning, med innsats fra laboratorier som Anthropic som også har behandlet utfordrende problemer inkludert Millennium Prize-spørsmål. Den akselererte takten av AI-engasjement i grunnleggende matematikk fremmer diskusjoner om forskningsetikk, akademisk kreditering og rollen til menneskelige matematikere hvis tidligere arbeid ligger til grunn for AI-prestasjonene.

OpenAI planlegger å opprettholde offentlig versjonskontroll over disse manuskriptene, som muliggjør pågående revisjoner og sikrer åpenhet. Selskapet utforsker også ytterligere fellesskapsdrevne plattformer for å distribuere og samarbeide om forbedring av det matematiske innholdet. Denne utgivelsen markerer en betydelig milepæl i integreringen av AI i matematisk forskning, og fremhever både bemerkelsesverdig potensial og kompleksiteten ved ansvarlig innovasjon.