OpenAI har lagt upp en samling med 722 matematikartiklar i ett offentligt GitHub-arkiv. Artiklarna är indelade i 372 resultatfamiljer som samlar närliggande resultat. Enligt företaget kommer arbetet från en ännu inte lanserad frontmodell och innehåller lösningar på ”hundratals” öppna frågor, enligt en oberoende rådgivande grupp av matematiker (AGMAI). OpenAI har också delat kortfattade sammanfattningar av resonemangen, uppskattningar av beräkningsresurser och uppgifter om hur många problem som prövades.
Så gick publiceringen till
OpenAI meddelade att varje artikel i arkivet ska få ett protokoll för ändringar och citeringar. Företaget uppgav att det fortsätter att undersöka alternativ som drivs av communityn och uppfyller AGMAI:s riktlinjer. Rådgivargruppen, som inrättades tidigare i år, hade uppmanat AI-laboratorier att publicera resultat via etablerade akademiska kanaler och att inte använda genombrott som marknadsföring.
Varför det spelar roll
För matematiker innebär artiklarna en stor mängd nya resultat som behöver verifieras och som kan påskynda forskningen inom vissa områden. För allmänheten visar publiceringen hur AI kan ta fram formella matematiska lösningar, men väcker också frågor om hur sådant arbete ska tillskrivas och granskas innan det används.
