Qed nippubblikaw firxa wiesgħa ta’ riżultati matematiċi ġodda miksuba minn mudell intern mill-aktar avvanzati.
Biex nistandardizzaw il-mod kif naqsmu r-riżultati mal-komunità matematika, qed nikkonsultaw mal-Grupp Konsultattiv indipendenti dwar il-Matematika u l-Intelliġenza Artifiċjali fl-Istitut għall-Istudji Avvanzati(jinfetaħ f’tieqa ġdida) biex niżviluppaw l-aħjar prattiki. Qed nintegraw il-pariri u r-rakkomandazzjonijiet pubbliċi(jinfetaħ f’tieqa ġdida) tiegħu fil-mod kif nippubblikaw dawn ir-riżultati.
Din id-darba, qed nippubblikaw ir-riżultati f’repożitorju fuq GitHub, bi protokolli għar-reviżjonijiet tal-artikli xjentifiċi u għaċ-ċitazzjonijiet. Qed inkomplu nesploraw alternattivi oħra ospitati mill-komunità biex nippubblikaw dawn ir-riżultati skont il-linji gwida tal-kumitat. Għal pubblikazzjonijiet futuri, aħna impenjati li nkomplu ntejbu l-kwalità tal-artikli xjentifiċi permezz taċ-ċitazzjonijiet, tal-ispjegazzjoni matematika u tal-preżentazzjoni tar-riżultati, biex ikunu jistgħu jinftiehmu aħjar.
Fir-repożitorju tagħna fuq GitHub, qed naqsmu formalizzazzjonijiet ta’ ħafna mill-provi f’Lean, lingwa ta’ programmazzjoni li tippermetti li l-provi matematiċi jiġu vverifikati minn kompjuter. Se naġġornaw ir-repożitorju b’aktar formalizzazzjonijiet hekk kif niksbuhom.
Biex nippromwovu t-trasparenza u l-ftuħ fix-xjenza, qed nippubblikaw ukoll dettalji addizzjonali dwar kif ksibna r-riżultati fir-repożitorju. Dawn jinkludu 10 sommarji tar-raġunament tal-mudell, stimi tar-riżorsi komputazzjonali użati f’termini ta’ użu ta’ Pro fuq ChatGPT, u statistika dwar l-għadd ta’ problemi li ppruvajna nsolvu. Bħala medja, kull riżultat uża riżorsi komputazzjonali ekwivalenti għal madwar tliet sigħat ta’ raġunament ta’ ChatGPT Pro.
Irridu li dan il-progress iwessa’ l-għarfien tal-bniedem u jippermetti aktar avvanzi fil-matematika. Se niffinanzjaw sensiela ta’ workshops, konferenzi u programmi speċjali biex ngħinu fil-fehim ta’ riżultati ewlenin miksuba mill-AI. Se naqsmu aktar dwar dan fil-futur qrib.
Irridu nagħtu lix-xjenzati aċċess dirett għall-aktar kapaċitajiet avvanzati u qed naħdmu biex nagħmlu l-mudell li kiseb dawn ir-riżultati disponibbli b’mod responsabbli. Għalhekk huwa importanti li nkomplu nevalwaw il-mudelli interni tagħna mill-aktar avvanzati fil-matematika u f’xjenzi oħra, biex inkunu nistgħu nħaffu l-iżvilupp tal-għodod li jmexxu ’l quddiem dawn l-oqsma. Se nkomplu nieħdu azzjoni abbażi tal-kummenti tal-komunità u naġġornaw l-istandards tagħna għall-pubblikazzjoni ta’ avvanzi xjentifiċi ewlenin fil-futur.
