OpenAI heeft een reeks van 722 wiskundepapers in een openbare GitHub-repository gezet. De papers zijn onderverdeeld in 372 resultaatfamilies, waarin verwante bevindingen zijn gebundeld. Volgens het bedrijf is het werk afkomstig van een niet-uitgebracht frontiermodel en bevat het oplossingen voor „honderden” open vragen, zoals beoordeeld door een onafhankelijke adviesgroep van wiskundigen (AGMAI). OpenAI deelde ook beknopte samenvattingen van de redeneringen, schattingen van de benodigde rekenkracht en het aantal problemen dat is geprobeerd.
Hoe de publicatie is aangepakt
OpenAI maakte bekend dat voor elke paper in de repository een protocol komt voor revisies en citaties. Het bedrijf zei te blijven kijken naar mogelijkheden die door de gemeenschap worden gehost en aan de richtlijnen van AGMAI voldoen. De adviesgroep, die eerder dit jaar is opgericht, had AI-labs opgeroepen resultaten via gevestigde academische kanalen te publiceren en doorbraken niet als marketingmiddel in te zetten.
Waarom het ertoe doet
Voor wiskundigen vormen de papers een grote hoeveelheid nieuwe resultaten die nog moeten worden geverifieerd en die onderzoek op sommige terreinen kunnen versnellen. Voor het bredere publiek laat de publicatie zien hoe AI formele wiskundige oplossingen kan genereren, maar roept ze ook vragen op over de toekenning van erkenning en de controle van dit werk voordat het wordt gebruikt.
