"OpenAI" şirkəti özünün daxili, eksperimental süni intellekt modeli tərəfindən hazırlanmış geniş riyazi tədqiqatlar toplusunu ictimaiyyətə açıqlayıb. Ümumilikdə 722 əlyazmanı və 372 əlaqəli araşdırma silsiləsini əhatə edən bu məlumat bazası, süni intellektin mürəkkəb riyazi problemlərin həllindəki potensialını nümayiş etdirir. Tədqiqatların bir hissəsi "Lean" sistemində rəsmi olaraq yoxlanılıb ki, bu da kompüter vasitəsilə məntiqi səhvlərin minimuma endirilməsinə imkan verir.
Süni intellekt hansı sahələrdə tədqiqatlar aparıb?
Modelə sınaq müddətində təmiz riyaziyyat, nəzəri informatika və riyazi fizika üzrə təxminən 4000 tədqiqat tapşırığı verilib. Dərc olunan işlər arasında ədədlər nəzəriyyəsi, hesablama mürəkkəbliyi, həndəsə və operator cəbri kimi fundamental sahələr yer alır. Xüsusilə, "π" ədədinin irrasionallıq göstəricisi, Maler hipotezləri və Vlasov-Maksvell tənlikləri kimi mürəkkəb mövzular üzrə nəticələr təqdim edilib.
Nə üçün bu tədqiqatlar vacibdir?
"OpenAI" bu layihə ilə süni intellektin standart testlərdən kənara çıxaraq real elmi problemlərlə işləyə bildiyini göstərir. Şirkət hər bir nəticənin əldə edilməsi üçün "ChatGPT Pro" modelinin dərin düşünmə rejimində təxminən 3 saatlıq hesablama resursundan istifadə edib. Bəzi işlər hələ də müstəqil riyaziyyatçılar tərəfindən yoxlanılma mərhələsindədir və şirkət bu prosesi dəstəkləmək üçün elmi seminarlar təşkil etməyi planlaşdırır.
