Ներկայացնում ենք ԱԲ-ի առաջընթացը մաթեմատիկայում
Հրապարակում ենք մաթեմատիկական նոր արդյունքների լայն շրջանակ, որոնք ստացվել են ներքին օգտագործման առաջադեմ մոդելի միջոցով։
Մաթեմատիկական հանրության հետ արդյունքներով կիսվելու միասնական մոտեցում ձևավորելու նպատակով խորհրդակցում ենք Առաջադեմ հետազոտությունների ինստիտուտի Մաթեմատիկայի և արհեստական բանականության անկախ խորհրդատվական խմբի(բացվում է նոր պատուհանում) հետ՝ լավագույն գործելակերպերը մշակելու համար։ Այս արդյունքները հրապարակելիս հաշվի ենք առնում խմբի խորհուրդներն ու հրապարակային առաջարկությունները(բացվում է նոր պատուհանում)։
Այս անգամ արդյունքները հրապարակում ենք GitHub-ի պահոցում՝ ներառելով հոդվածների վերանայման և հղումներ կատարելու կանոնները։ Շարունակում ենք ուսումնասիրել այս արդյունքները հրապարակելու այլ հնարավորություններ՝ հանրության կողմից կառավարվող հարթակներում, որոնք համապատասխանում են հանձնաժողովի ուղեցույցներին։ Հետագա հրապարակումներում պարտավորվում ենք շարունակաբար բարձրացնել հոդվածների որակը՝ բարելավելով հղումները, մաթեմատիկական շարադրանքն ու արդյունքների ներկայացումը, որպեսզի դրանք ավելի հասկանալի լինեն։
Մեր GitHub պահոցում նաև հրապարակում ենք ապացույցներից շատերի ձևայնացումները Lean ծրագրավորման լեզվով, որը թույլ է տալիս համակարգչով ստուգել մաթեմատիկական ապացույցները։ Նոր ձևայնացումներ ստանալուն պես դրանք կավելացնենք պահոցում։
Գիտական թափանցիկությունն ու բաց լինելը խթանելու նպատակով պահոցում հրապարակում ենք նաև լրացուցիչ մանրամասներ այն մասին, թե ինչպես ենք ստացել արդյունքները։ Դրանք ներառում են մոդելի դատողությունների 10 ամփոփում, ծախսված հաշվողական ռեսուրսների գնահատականներ՝ արտահայտված ChatGPT‑ում Pro-ի օգտագործման համարժեքով, և վիճակագրություն այն խնդիրների քանակի վերաբերյալ, որոնք փորձել ենք լուծել։ Յուրաքանչյուր արդյունք ստանալու համար միջինում ծախսվել են ChatGPT Pro-ի մոտ երեք ժամ մտածելուն համարժեք հաշվողական ռեսուրսներ։
Ցանկանում ենք, որ այս առաջընթացն ընդլայնի մարդկային գիտելիքի սահմանները և նպաստի մաթեմատիկայի հետագա զարգացմանը։ Ֆինանսավորելու ենք ԱԲ-ի միջոցով ստացված կարևոր արդյունքների ըմբռնմանն ուղղված աշխատաժողովների, գիտաժողովների և հատուկ ծրագրերի շարք։ Այս մասին ավելին կպատմենք մոտ ապագայում։
Ցանկանում ենք գիտնականներին անմիջականորեն տրամադրել նորագույն հնարավորություններ և աշխատում ենք այս արդյունքները ստացած մոդելը պատասխանատու կերպով հասանելի դարձնելու ուղղությամբ։ Ահա թե ինչու է կարևոր շարունակել գնահատել ներքին օգտագործման մեր առաջադեմ մոդելների կարողությունները մաթեմատիկայի և այլ գիտությունների ոլորտներում, որպեսզի կարողանանք արագացնել այդ ոլորտների զարգացմանը նպաստող գործիքների մշակումը։ Կշարունակենք գործել՝ հաշվի առնելով հանրության արձագանքները, և թարմացնել գիտական կարևոր նվաճումները հետագայում հրապարակելու մեր չափանիշները։
