Vi publicerar ett brett urval av nya matematiska resultat som tagits fram av en intern banbrytande modell.
För att standardisera hur vi delar resultat med matematiksamhället har vi samrått med den oberoende rådgivande gruppen för matematik och artificiell intelligens vid Institute for Advanced Study(öppnas i ett nytt fönster) om att ta fram god praxis. Vi tar hänsyn till deras råd och offentliga rekommendationer(öppnas i ett nytt fönster) när vi publicerar dessa resultat.
Den här gången publicerar vi resultaten i ett GitHub-förvar, med rutiner för revideringar av artiklar och källhänvisningar. Vi fortsätter att undersöka andra alternativ för denna publicering på plattformar som drivs av forskarsamhället och som uppfyller kommitténs riktlinjer. Inför framtida publiceringar åtar vi oss att ytterligare höja artiklarnas kvalitet genom bättre källhänvisningar, tydligare matematiska framställningar och mer lättbegripliga presentationer av resultaten.
I vårt GitHub-förvar delar vi också formaliseringar av många av bevisen i Lean, ett programmeringsspråk som gör det möjligt att kontrollera matematiska bevis med en dator. Vi kommer att uppdatera förvaret med fler formaliseringar allteftersom de blir tillgängliga.
För att främja vetenskaplig transparens och öppenhet publicerar vi också fler detaljer i förvaret om hur vi kom fram till resultaten. Dessa omfattar 10 sammanfattningar av modellens resonemang, uppskattningar av de beräkningsresurser som använts uttryckta i motsvarande Pro-användning i ChatGPT, samt statistik över antalet problem som modellen försökt lösa. I genomsnitt krävde varje resultat beräkningsresurser motsvarande ungefär tre timmars tänkande i ChatGPT Pro.
Vi vill att dessa framsteg ska flytta gränserna för mänsklig kunskap och möjliggöra ytterligare framsteg inom matematiken. Vi kommer att finansiera en rad workshoppar, konferenser och särskilda program för att fördjupa förståelsen av viktiga resultat som tagits fram av AI. Vi berättar mer om detta inom kort.
Vi vill ge forskare direkt tillgång till den mest avancerade tekniken och arbetar för att på ett ansvarsfullt sätt göra modellen som tog fram dessa resultat tillgänglig. Därför är det viktigt att fortsätta utvärdera våra interna banbrytande modeller inom matematik och andra vetenskaper, så att vi snabbare kan utveckla verktyg som för dessa områden framåt. Vi kommer att fortsätta ta till oss återkoppling från forskarsamhället och uppdatera våra riktlinjer för framtida publiceringar av viktiga vetenskapliga framsteg.
