OpenAI je izdal veliko zbirko matematičnih raziskav, ki jih je izdelal model notranje meje AI, vključno z delom na problemih, ki so že leta izzivali profesionalne matematike.
Podjetje je objavilo objavo 6. oktobra, v kateri je pisalo, da rezultati zajemajo širok spekter matematike in da jih raziskovalci javno pregledujejo.
Javna zbirka vsebuje 722 rokopisov, organiziranih v 372 sorodnih izidov družin, po mnenju razvijalske skupnosti OpenAI. Delo je nastalo iz ocene, ki je vključevala približno 4000 matematičnih problemov.
Verge poroča, da zbirka obsega na stotine matematičnih rezultatov, ki jih je ustvaril nesproščen model meje. Vendar objava ne pomeni, da je treba vsako trditev takoj obravnavati kot uveljavljeno matematično dejstvo. Raziskovalci bodo morali preučiti dokaze in ugotoviti pomen in novosti posameznih rezultatov.
Ena od posebej pomembnih značilnosti je, da je OpenAI zagotovil formalizacije mnogih dokazov z uporabo Leana, programskega jezika, ki omogoča preverjanje matematičnih dokazov z računalnikom. Podjetje pravi, da bodo sčasoma dodane dodatne formalizacije.
OpenAI je prav tako razkril presenetljivo mero vključenega računalništva. V povprečju je vsak rezultat zahteval računalništvo, enakovredno približno trem uram ChatGPT Profesionalno razmišljanje z notranjim modelom.
Izdaja sledi vedno bolj dramatičnim trditvam o sposobnosti AI, da prispeva k matematiki. Septembra je OpenAI dejal, da so ista širša raziskovalna prizadevanja rešila več kot 100 dolgoletnih odprtih problemov, kar je podjetje spodbudilo k sodelovanju z neodvisno skupino uglednih matematikov o tem, kako bi bilo treba ta odkritja pregledati in sporočiti.
Ta svetovalna skupina vključuje matematike iz ustanov, kot so Stanford, Harvard, Oxford, Cambridge, Berkeley in Inštitut za napredni študij. Njegova vloga ni le potrditev dela OpenAI, ampak neodvisno svetovanje glede pomena, raziskovalnih standardov in odgovornega razkritja.
Večje vprašanje zdaj presega, ali lahko AI odgovori na težka matematična vprašanja.
Če neodvisni matematiki na koncu preverijo pomembne dele tega dela, je morda nova meja, ali lahko AI rutinsko odkrije matematiko, ki je ljudje že niso poznali.