Pagbabahagi ng pag-unlad ng AI sa matematika
Naglalabas kami ng malawak na hanay ng mga bagong resulta sa matematika na nagawa ng isang panloob na frontier na modelo.
Upang magtakda ng pamantayan sa pagbabahagi ng mga resulta sa komunidad ng matematika, kumokonsulta kami sa independiyenteng Advisory Group on Mathematics and Artificial Intelligence sa Institute for Advanced Study(magbubukas sa bagong window) para bumuo ng pinakamahuhusay na pamamaraan. Isinasama namin ang kanilang payo at mga rekomendasyong inilabas sa publiko(magbubukas sa bagong window) sa paraan ng paglalabas namin ng mga resultang ito.
Sa paglalabas na ito, inilalathala namin ang mga resulta sa isang GitHub repository, kasama ang mga protokol para sa pagrerebisa ng mga papel at pagsipi ng mga sanggunian. Patuloy kaming naghahanap ng iba pang mapaglalathalaan na pinangangasiwaan ng komunidad at sumusunod sa mga alituntunin ng komite. Para sa mga susunod na paglalathala, nakatuon kami sa higit pang pagpapahusay ng kalidad ng mga papel—sa pagsipi ng mga sanggunian, pagpapaliwanag ng matematika, at paglalahad ng mga resulta upang mas madaling maunawaan ang mga ito.
Sa aming GitHub repository, ibinabahagi rin namin ang maraming patunay na isinulat sa pormal na wika ng Lean, isang programming language na nagbibigay-daan sa computer na suriin ang mga patunay sa matematika. Magdaragdag kami sa repository ng higit pang mga patunay sa pormal na wika kapag mayroon na kami ng mga ito.
Upang itaguyod ang pagiging bukas at malinaw sa agham, naglalathala rin kami sa repository ng karagdagang detalye kung paano namin nakuha ang mga resulta. Kabilang dito ang 10 buod ng pangangatwiran ng modelo, mga pagtataya ng nagamit na kapasidad sa pag-compute batay sa katumbas na paggamit ng Pro sa ChatGPT, at mga estadistika tungkol sa bilang ng mga problemang sinubukang lutasin. Sa karaniwan, ang bawat resulta ay gumamit ng kapasidad sa pag-compute na katumbas ng humigit-kumulang tatlong oras na pag-iisip ng ChatGPT Pro.
Nais naming mapalawak ng pag-unlad na ito ang kaalaman ng tao at magbigay-daan sa higit pang pagsulong ng matematika. Popondohan namin ang isang serye ng mga workshop, kumperensiya, at espesyal na programa na nakatuon sa pag-unawa sa mahahalagang resultang nagawa ng AI—magbabahagi kami ng higit pang detalye tungkol dito sa lalong madaling panahon.
Nais naming direktang magbigay sa mga siyentipiko ng mga pinakabagong kakayahan, at nagsisikap kaming mailabas nang responsable ang modelong gumawa ng mga resultang ito. Ito ang dahilan kung bakit mahalagang patuloy na suriin ang aming mga panloob na frontier na modelo sa matematika at iba pang agham, upang mapabilis namin ang pagbuo ng mga kasangkapan para isulong ang mga larangang iyon. Patuloy kaming kikilos batay sa puna ng komunidad at mag-a-update ng aming mga pamantayan para sa mga susunod na pagbabahagi ng mahahalagang pagsulong sa agham.
