OpenAI açıqlanmayan AI modelinin 722 riyazi əlyazmasını GitHub-da paylaşdı

    “OpenAI” çərşənbə axşamı ictimaiyyətə açılmamış qabaqcıl süni intellekt modelinin hazırladığı 722 əlyazmanı “GitHub”da yayımlayıb. Materiallar əlaqəli məqalələrin birləşdirildiyi 372 nəticə ailəsini əhatə edir. Başqa hesablama üsuluna görə, buraxılışda 377 yeni riyazi nəticə var. Şirkətin iddiasına görə, model yüzlərlə açıq riyazi məsələyə həll tapıb.    Paylaşılan materiallara modelin cavaba necə gəldiyini qısa şəkildə göstərən xülasələr də daxildir. Bundan başqa, sərf olunan hesablama gücü və yoxlanılan məsələlərin sayı barədə statistika verilib. “OpenAI-ın” məlumatına görə, hər nəticə orta hesabla “ChatGPT Pro”nun 3 saatlıq istifadəsi qədər resurs tələb edib. Əlyazmaların demək olar hamısı 1 süni intellekt agentinə göndərilən 1 sorğu əsasında hazırlanıb. Ancaq həmin sorğular və hər məsələyə sərf olunan dəqiq vaxt açıqlanmayıb.    Əsas iddialar sırasında 4 ölçülü Kakeya fərziyyəsinin həlli və mühüm kompüter alqoritmlərinin yaxşılaşdırılması var. Modelin ədədlər nəzəriyyəsinin ən çətin açıq məsələlərindən sayılan Riemann fərziyyəsi üzrə də irəliləyiş əldə etdiyi deyilir. Əlyazmalardan birində Birch, Swinnerton və Dyer aparıcı hədd düsturunun tam sübutu irəli sürülür. Lakin nəticə yalnız rasional ədədlər üzərində elliptik əyrilərin məhdud bir halına aiddir.    “OpenAI” nəticələri riyaziyyat və süni intellekt üzrə müstəqil məsləhət qrupu “AGMAI”nin tövsiyələrinə uyğun paylaşdığını deyir. Qrup nəticələrin akademik kanallarda bacardıqca tez dərc olunmasını istəyib. Modelin adı, ona göndərilən sorğular və hesablama xərcləri də açıqlanmalıdır. “AGMAI” riyazi nəticələrin model reklamına çevrilməsinə qarşı çıxıb. “OpenAI” həmçinin “GitHub”da düzəliş və istinad qaydaları yaradıb, gələcək məqalələrin paylaşılma qaydasını yaxşılaşdıracağını açıqlayıb.    Bu işdə təxminən 1 ay əvvəl Navye-Stoks məsələsi üçün əks nümunə hazırlayan eyni daxili model işlədilib. Əks nümunə irəli sürülən fikrin bütün hallarda doğru olmadığını göstərir. Navye-Stoks məşhur Minilliyin Mükafatı problemlərindən biridir. Sonradan “OpenAI-ın” süni intellektdən yararlanan başqa bir riyaziyyatçı qrupunun üzərində çalışdığı işi tamamladığı üzə çıxmışdı. “AGMAI” qapalı modellərdə belə məsələlərin sınağını dayandırmağa çağırsa da, yeni nəticələr yenə ictimaiyyətə açılmamış modeldən alınıb.    722 əlyazmanın elmi dəyərini müəyyənləşdirmək vaxt aparacaq. Riyaziyyatçılar hər sübutu ayrıca yoxlamalıdırlar. Model ictimaiyyətə açılmadan və nəticələr başqa tədqiqatçılar tərəfindən təkrarlanmadan, 1 sorğu ilə həll tapılması barədə iddialar təsdiqlənmiş sayılmır. “Anthropic” kimi rəqib laboratoriyaların işləri də yoxlanılmağı gözləyən nəticələrin sayını artırır. Müzakirələr təkcə sübutlarla məhdudlaşmır. Tədqiqat etikası, insan alimlərə istinad və elmi nəticələrin necə paylaşılması da müzakirə olunur.