OpenAI la ut 722 KI-skrevne matteartikler, mange uten maskinkontroll
OpenAI publiserte 722 matematiske manuskripter fra en uutgitt modell. Selskapet innrømmer at ukontrollerte resultater kan inneholde feil, og modellen kan ikke etterprøves utenfra.
Av H. S. Pettersen · 2 min lesing
OpenAI la tirsdag ut 722 matematiske manuskripter skrevet av en uutgitt intern modell, fordelt på 372 forskningsfamilier. Selskapet sier selv at ukontrollerte resultater kan inneholde feil, og at mange av manuskriptene mangler formell maskinkontroll.
Hva OpenAI har publisert, og hva som er kontrollert
Modellen fikk rundt 4 000 problemer, og hvert godkjente resultat kostet i snitt tre timers regnetid tilsvarende ChatGPT Pro. Temaene spenner fra tallteori og kompleksitetsteori til matematisk fysikk. Noen av bevisene er skrevet om i Lean, et programmeringsspråk som lar en datamaskin kontrollere et bevis steg for steg, slik Claude gjorde med Fermats siste sats. Mange av manuskriptene har ikke en slik versjon ennå, og OpenAI lover å legge dem til etter hvert.
Modellen er ikke navngitt og kan ikke gjentas
OpenAI har ikke sagt om modellen er den samme som GPT-6 Astra, som ble lansert i september. Utgivelsen er utarbeidet sammen med en uavhengig rådgivergruppe for matematikk og KI ved Institute for Advanced Study, som la fram anbefalinger 29. september etter over 600 svar i en spørreundersøkelse. Gruppen har ingen beslutningsmyndighet over OpenAI.
Striden handler om forståelse, ikke bare riktighet
Tjuefem Fields-medaljører, blant dem Terence Tao og Peter Scholze, offentliggjorde 11. september en erklæring om at det å løse kjente problemer bare er et redskap for å forstå matematikk, og at masseproduserte, ukontrollerte resultater kan skade fagets overføring mellom generasjoner. Timothy Nguyen, matematiker hos Google DeepMind, som selv konkurrerer med OpenAI på feltet, svarer at forståelse alltid har endret seg med nye verktøy. Hverken modellen eller promptene er publisert, så ingen utenfor OpenAI kan gjenta kjøringen.
