Við birtum nú fjölbreyttar nýjar niðurstöður í stærðfræði sem fengust með háþróuðu innanhússlíkani.
Við vinnum að því að samræma hvernig við deilum niðurstöðum með stærðfræðisamfélaginu. Í því skyni höfum við leitað ráða hjá óháðum ráðgjafahópi um stærðfræði og gervigreind við Institute for Advanced Study(opnast í nýjum glugga) um bestu starfsvenjur og tökum mið af ráðgjöf hans og opinberum tilmælum(opnast í nýjum glugga) við birtingu þessara niðurstaðna.
Að þessu sinni birtum við niðurstöðurnar í GitHub-geymslu ásamt verklagsreglum um endurskoðun greina og tilvísanir. Við höldum áfram að kanna aðrar leiðir til að birta þessar niðurstöður á vettvangi sem samfélagið heldur úti og samræmast leiðbeiningum ráðgjafahópsins. Við skuldbindum okkur til að bæta enn frekar gæði greina í komandi útgáfum með vandaðri tilvísunum, skýrari stærðfræðilegum útskýringum og framsetningu niðurstaðna sem auðveldar skilning.
Í GitHub-geymslunni deilum við formlegum útfærslum margra sannananna í Lean, forritunarmáli sem gerir kleift að sannreyna stærðfræðilegar sannanir með tölvu. Við munum bæta fleiri formlegum útfærslum við geymsluna eftir því sem þær verða tiltækar.
Til að stuðla að gagnsæi og opnum vinnubrögðum í vísindum birtum við einnig í geymslunni nánari upplýsingar um hvernig niðurstöðurnar fengust. Þar á meðal eru 10 samantektir á rökum líkansins, áætlanir um reikniaflsnotkun miðað við notkun Pro í ChatGPT og tölfræði um fjölda verkefna sem reynt var að leysa. Að meðaltali þurfti reikniafl sem jafngildir um þriggja klukkustunda hugsun í ChatGPT Pro til að fá hverja niðurstöðu.
Við viljum að þessar framfarir víkki sjóndeildarhring mannlegrar þekkingar og greiði fyrir frekari framförum í stærðfræði. Við munum fjármagna röð vinnustofa, ráðstefna og sérverkefna sem miða að því að auka skilning á mikilvægum niðurstöðum sem gervigreind hefur fengið fram. Við munum greina nánar frá þessu á næstunni.
Við viljum efla vísindafólk með því að veita því beinan aðgang að nýjustu tækni og vinnum að því að gera líkanið sem skilaði þessum niðurstöðum aðgengilegt á ábyrgan hátt. Þess vegna er mikilvægt að halda áfram að meta getu háþróaðra innanhússlíkana okkar í stærðfræði og öðrum vísindum, svo við getum hraðað þróun verkfæra sem stuðla að framförum á þessum sviðum. Við munum áfram bregðast við ábendingum frá samfélaginu og uppfæra viðmið okkar um hvernig við kynnum mikilvægar vísindaframfarir í framtíðinni.
