Süni intellekt riyaziyyatının qapıları açıldı. Oktyabrın 7-də OpenAI, uzun müddətdir davam edən riyazi sirlərdən tutmuş, nadir hallarda nəzərdən keçirilən maraqlı məsələlərdəki kiçik irəliləyişlərə qədər heyrətamiz bir mövzu spektrini araşdırmaq üçün süni intellekt modelindən istifadə edərək 722 riyazi məqalə dərc etdi.
Əlbəttə ki, riyaziyyatçıların bu nəticələrin hamısını nəzərdən keçirməyə, bir yana qalsın, onları faktiki olaraq yoxlamağa hələ vaxtı olmayıb: məqalələrin bəziləri yüzlərlə səhifə uzunluğundadır və mürəkkəb hesablamalarla doludur. Onların bir çoxu hələ rəsmiləşdirilməyib – yəni kompüter tərəfindən yoxlanıla bilən addımlara endirilməyib – bu da onların dəqiq olduğuna dair çox az təminat olduğu deməkdir. Artıq üçü geri götürülüb. Buna baxmayaraq, məqalələr yığınına ilkin baxış belə, səs-küy yarada biləcək bəzi məqalələri üzə çıxarır.
Məqalələrin bir neçəsi sahənin ən vacib və çətin problemlərindən biri hesab olunan yeddi riyazi problemdən ibarət Minillik problemləri ilə bağlıdır. Bu problemlərdən hər hansı birini həll etmək Clay Riyaziyyat İnstitutundan 1 milyon dollar mükafat qazandırır. 2000-ci ildə yarandığı gündən bəri onlardan yalnız biri həll edilib, baxmayaraq ki, riyaziyyatçılar hazırda OpenAI-ın modellərindən birinin mayelər dinamikasının Navier-Stokes tənlikləri ilə bağlı başqa bir problemi həll etdiyi barədə son iddiasını araşdırırlar.
OpenAI 722 riyaziyyat məqaləsini ortaya tökdü – indi o, bu qarışıqlığı təmizləməlidir
İndi şirkət, sübut olunarsa, sadə ədədlərin ədəd oxu boyunca necə paylandığının xəritəsini verəcək, sadə ədədlərin paylanması haqqında sübut olunmamış bir qayda olan Riman hipotezini hədəfə alıb. OpenAI Riman hipotezinin özünü sübut etdiyini iddia etmir, lakin sadə ədədlərin gözlənilən mövqelərindən nə qədər uzaq ola biləcəyi ilə məşğul olan kvazi-Riman hipotezi adlı bir variasiyanı irəli sürür. Bu, orijinal hipotezdən daha az sərtdir, lakin nəticə özünü doğruldarsa, bu, illər ərzində həll yoluna doğru ən böyük addım ola bilər.
Məqalələrdə digər iki Minillik problemi də qeyd olunur: Birch və Swinnington-Dyer fərziyyəsi və Hodge fərziyyəsi. Riman hipotezinə bənzər şəkildə, hər iki problemlə bağlı məqalələr riyaziyyatçılara tam həll yollarına gedən yolda kömək edə biləcək fərziyyələrin daha sadə, qismən versiyalarını sübut etdiyini iddia edir.
Xülasə — davamını mənbədə oxuyun.
