Süni intellekt riyaziyyatda inqilab edir?
“OpenAI” tərəfindən hazırlanan süni intellekt sistemi, mayelərin və qazların hərəkətini təsvir edən “Navye-Stoks” tənliklərinin üçölçülü məkanda həlli ilə bağlı mühüm riyazi sübut əldə edib. Bu tənliklər müasir hidrodinamikanın təməlini təşkil edir və təyyarə dizaynından tutmuş hava proqnozlarına qədər bir çox sahədə istifadə olunur. Lakin təxminən 200 ildir ki, riyaziyyatçılar bu tənliklərin hər zaman hamar qalıb-qalmadığını, yoxsa bəzi hallarda “sinqulyarlıq” adlanan qırılmaların yarandığını sübut edə bilmirdilər.
Minilliyin tapmacası və İİ-nin rolu
Sözügedən problem 2000-ci ildə “Clay Mathematics Institute” tərəfindən yeddi “minillik tapmacası” siyahısına daxil edilib və hər biri üçün 1 milyon ABŞ dolları mükafat təyin olunub. “OpenAI”-ın bildirdiyinə görə, təxminən 10 min avtonom İİ agenti paralel şəkildə çalışaraq cəmi 88 saata bu nəticəyə çatıb. Daha sonra sübut “Lean” sistemi vasitəsilə rəsmi yoxlamadan keçirilib ki, bu da məntiqi səhvlərin minimuma endirilməsini təmin edir.
Elmi ictimaiyyətin reaksiyası və gələcək perspektivlər
Şirkət bu nəticəyə görə pul mükafatı tələb etməyəcəyini bəyan edib. Bununla belə, elmi dairələrdə artıq mübahisələr başlayıb; bəzi tədqiqatçılar, o cümlədən Tristan Bakmaster, nəticələrin onların əvvəlki işləri ilə kəsişə biləcəyini iddia edirlər. “OpenAI” ittihamları rədd etsə də, bu hadisə İİ-nin elmi kəşflərdəki rolu və müəlliflik hüquqları ilə bağlı geniş müzakirələrə yol açıb. Nəticənin qəbul olunması üçün riyaziyyatçıların müstəqil və hərtərəfli yoxlaması tələb olunur.
