Tunatoa matokeo mengi mapya katika nyanja mbalimbali za hisabati yaliyotolewa na muundo wetu wa ndani wa mpaka.
Tunapojitahidi kuweka utaratibu sanifu wa kushiriki matokeo na jumuiya ya hisabati, tumekuwa tukishauriana na Kundi huru la Ushauri kuhusu Hisabati na Akili Bandia katika Taasisi ya Masomo ya Juu(fungua katika dirisha jipya) ili kuandaa mbinu bora. Tunajumuisha ushauri wao na mapendekezo yao ya umma(fungua katika dirisha jipya) katika namna tunavyotoa matokeo haya.
Katika awamu hii, tunachapisha matokeo katika eneo la uhifadhi kwenye GitHub, pamoja na taratibu za kurekebisha makala na kunukuu marejeleo. Tunaendelea kutafuta majukwaa mengine yanayosimamiwa na jumuiya kwa ajili ya kuchapisha matokeo haya, ambayo yanakidhi miongozo ya kamati. Katika awamu zijazo, tumejitolea kuboresha zaidi ubora wa makala kupitia marejeleo, ufafanuzi wa hisabati na uwasilishaji wa matokeo ili yaeleweke vizuri zaidi.
Katika eneo letu la uhifadhi kwenye GitHub, tunashiriki uthibitisho mwingi ulioandikwa kwa lugha rasmi ya Lean, lugha ya programu inayowezesha kompyuta kukagua uthibitisho wa hisabati. Tutaongeza uthibitisho zaidi ulioandikwa kwa lugha rasmi katika eneo hilo la uhifadhi kadiri tunavyoupata.
Ili kukuza uwazi na ushirikishanaji katika sayansi, tunachapisha pia maelezo ya ziada katika eneo hilo la uhifadhi kuhusu jinsi tulivyopata matokeo haya. Maelezo hayo yanajumuisha mihtasari 10 ya uwazaji wa muundo, makadirio ya rasilimali za ukokotoaji zilizotumika kwa kulinganisha na matumizi ya Pro kwenye ChatGPT, na takwimu kuhusu idadi ya maswali ambayo muundo ulijaribu kutatua. Kwa wastani, kila tokeo lilitumia rasilimali za ukokotoaji zinazolingana na takriban saa tatu za kufikiri kwa ChatGPT Pro.
Tunataka maendeleo haya yapanue maarifa ya binadamu na kuwezesha maendeleo zaidi katika hisabati. Tutafadhili mfululizo wa warsha, makongamano na programu maalumu zinazolenga kuelewa matokeo makubwa yaliyotolewa na AI. Tutashiriki maelezo zaidi kuhusu hili hivi karibuni.
Tunataka kuwapa wanasayansi ufikiaji wa moja kwa moja wa uwezo wa kisasa zaidi, na tunajitahidi kutoa kwa uwajibikaji muundo uliotoa matokeo haya. Ndiyo maana ni muhimu kuendelea kutathmini miundo yetu ya ndani ya mpaka katika hisabati na sayansi nyingine, ili tuweze kuharakisha utengenezaji wa zana za kuendeleza nyanja hizo. Tutaendelea kufanyia kazi maoni ya jumuiya na kuboresha viwango vyetu vya kutangaza maendeleo makubwa ya kisayansi katika siku zijazo.
