Մաթեմատիկոսները սահմանեցին AI-ի կողմից ստեղծված արդյունքների հրապարակման կանոններ

Մաթեմատիկայի և AI-ի հարցերով զբաղվող անկախ խումբը (agmai.org) սեպտեմբերի 29-ին հրապարակեց առաջարկություններ, թե ինչպես AI լաբորատորիաները պետք է հրապարակեն մոդելների ստեղծած մաթեմատիկական արդյունքները։ «Responsible Release of AI-Generated Mathematics» փաստաթուղթը կազմվել է մաթեմատիկական հանրության 600-ից ավելի պատասխանների հիմքով։

Հեղինակները ի սկզբանե հայտարարում են, որ դեմ են այն պրակտիկային, երբ առաջատար AI լաբորատորիան մաթեմատիկայի բարդ խնդիրները ստուգում է հանրությանը անհասանելի մոդելների վրա, և կոչ անում դադարեցնել այն։

Ինչու է սա կարևոր

Մաթեմատիկական հետազոտությունը հիմնվում է նորմերի վրա. հեղինակն ինքն է հասկանում եզրակացությունը, ստուգում ճշգրտությունը և պատասխանատվություն կրում բովանդակության համար։ Այժմ AI-ն կարող է ներկայացնել մաթեմատիկական պատճառաբանություն, որը մասնագետին մնում է անհասկանալի ու չստուգելի։ Խմբի կարծիքով՝ մարդու կողմից մաթեմատիկայի ըմբռնումը հիմնական արժեք է և պետք է մնա պատասխանատու գիտական հրապարակման մաս։

Հրապարակման երկու ուղի

Փաստաթուղթը տարբերում է մարդու համար հասկանալի արդյունքը և դեռ ոչ մեկի չհասկացված արդյունքը։ Առաջին դեպքում գործում է ակադեմիական ավանդույթը՝ նախատպագիր, ամսագրին քննարկման ներկայացում և սեմինարներ, որտեղ հեղինակը աշխատանքը բացատրում է գործընկերներին։

Եթե մոդելի գեներացրած պատճառաբանությունը հարցում անողը չի հասկանում, խումբը սահմանում է առաջնային հրապարակման նորմեր. լաբորատորիան գրականության մեջ պիտի գտնի առնչվող գաղափարները և նշի աշխատությունները, որտեղ դրանք առաջին անգամ ի հայտ են եկել, նույնիսկ եթե մոդելն ինքնուրույն է դրանք գտել։ Ապացույցները պիտի վերաշարադրվեն ստանդարտ մաթեմատիկական աշխատության ոճով՝ ճշգրիտ թեորեմներով և առանց ոչ ստանդարտ տերմինաբանության։ Արդյունքները պիտի ժամանակին տեղադրվեն գիտական ռեպոզիտորիաներում, որոնք չի վերահսկում ոչ մի AI լաբորատորիա։

Յուրաքանչյուր արդյունքի համար լաբորատորիան պիտի հրապարակի մոդելի անունը, պրոմպտները, մտածողության շղթայի ամփոփումը, ծախսած ժամանակը և հաշվարկի մոտավոր արժեքը։ Եթե միաժամանակ շատ արդյունքներ են հրապարակվում, պետք է առանձին փաստաթուղթ, որը նշում է բոլորին և բացատրում, թե նույն բարդության քանի խնդիր մոդելը չի լուծել և ինչպես են ընտրվել դրանք։

Ֆինանսավորում և լայն հասանելիություն

Խմբի կարծիքով՝ լաբորատորիան, որ կարևոր արդյունքներ է հրապարակում առանց մարդկային ըմբռնման, պարտավոր է պատասխանատվություն ստանձնել և նաև գումարային աջակցություն ցուցաբերել, որ ըմբռնումը գոնե ավելի ուշ կատարվի։ Թե որ ծրագրերը կֆինանսավորվեն, որոշում են անկախ ոչ առևտրային կազմակերպությունները, ոչ թե խումբը կամ լաբորատորիաները։ Աջակցությունը կարող է գնալ բարդ ապացույցին նվիրված կոնֆերանսի, աշխատաժողովի, երկարաժամկետ խմբի, պոստդոկների ֆինանսավորման կամ բացատրական գրքերի գրմանը։

Փաստաթուղթը զգուշացնում է, որ փակ ներքին մոդելներով հետազոտությունը ստեղծում է երկմակարդակ համակարգի ռիսկ. մի քանի լաբորատորիա առաջ է անցնում մնացած ոլորտից և մաթեմատիկական հանրությանը հեռացնում իր դիսցիպլինից։ Խումբը կոչ է անում լաբորատորիաներին գլոբալ մաթեմատիկական հանրությանը լայն ու հավասար հասանելիություն տալ հանրությանը հասանելի մոդելներին, քանի որ մաթեմատիկան զարգանում է կոլեկտիվ ստուգմամբ, հասկացությունների սինթեզով և ընդհանուր ինտուիցիայով։