OpenAI heeft een grote collectie wiskundig onderzoek uitgebracht, geproduceerd door een intern frontier AI model, waaronder werk aan problemen die professionele wiskundigen jarenlang hebben uitgedaagd.
Het bedrijf kondigde de release op 6 oktober, zeggen de resultaten hebben betrekking op een breed scala van wiskunde en worden openlijk gepubliceerd voor onderzoek door onderzoekers.
De publieke collectie bevat 722 manuscripten georganiseerd in 372 verwante resultaatfamilies, volgens OpenAI's ontwikkelaar gemeenschap. Het werk kwam voort uit een evaluatie met ongeveer 4.000 wiskundige problemen.
De Verge meldt dat de collectie honderden wiskundige resultaten omvat, gegenereerd door een ongereleased grensmodel. Maar publicatie betekent niet dat elke claim onmiddellijk moet worden behandeld als een vast wiskundig feit. Onderzoekers zullen de bewijzen moeten onderzoeken en het belang en de nieuwheid van individuele resultaten moeten bepalen.
Een bijzonder belangrijk kenmerk is dat OpenAI formalisaties van vele bewijzen heeft geleverd met behulp van Lean, een programmeertaal die wiskundige bewijzen door de computer kan worden gecontroleerd. Het bedrijf zegt dat extra formalisaties zullen worden toegevoegd in de tijd.
OpenAI onthulde ook een opvallende mate van computing. Gemiddeld, elk resultaat vereist computing equivalent aan ongeveer drie uur ChatGPT Pro denken met behulp van het interne model.
De release volgt op steeds dramatischere beweringen over het vermogen van AI om bij te dragen aan de wiskunde. In september, OpenAI zei dat dezelfde bredere onderzoekinspanning had opgelost meer dan 100 reeds bestaande open problemen, waardoor het bedrijf om te werken met een onafhankelijke groep prominente wiskundigen over hoe dergelijke ontdekkingen moeten worden herzien en gecommuniceerd.
Deze adviesgroep omvat wiskundigen van instellingen zoals Stanford, Harvard, Oxford, Cambridge, Berkeley en het Institute for Advanced Study. De rol van OpenAI is niet alleen om het werk van OpenAI te ondersteunen, maar om onafhankelijk advies te geven over betekenis, onderzoeksnormen en verantwoorde openbaarmaking.
De grotere vraag gaat nu verder dan of AI moeilijke wiskundevragen kan beantwoorden.
Als onafhankelijke wiskundigen uiteindelijk belangrijke delen van dit werk verifiëren, kan de nieuwe grens zijn of AI routinematig wiskunde kan ontdekken die mensen niet al wisten.
