OpenAI şirkəti tərəfindən hazırlanan eksperimental süni intellekt sistemi 722 əlyazmanı və 372 riyazi nəticələr ailəsini əhatə edən geniş bir məlumat bazasını dərc edib. Model təmiz riyaziyyat, nəzəri informatika və riyazi fizika sahələrində 4000-ə yaxın tədqiqat tapşırığı üzərində sınaqdan keçirilib. Bəzi nəticələr üçün Lean dilində avtomatik yoxlanıla bilən formal sübutlar da təqdim edilib.
Süni intellekt və riyaziyyatın gələcəyi
Ən çox diqqət çəkən məqamlardan biri, OpenAI-in yeddi minillik məsələdən biri olan Navye-Stoks tənliklərinin həlli ilə bağlı iddiasıdır. Clay Mathematics Institute bu nəticənin hələlik rəsmi təsdiqlənmədiyini və standart prosedur tələb etdiyini bildirib. Mütəxəssislər süni intellektin elmi kəşfləri insanlardan daha sürətli istehsal etməsinin elmi metodologiyaya təsirindən narahatdırlar.
Elmi ictimaiyyətin tələbləri nələrdir?
Prinstondakı İnstitut Perspektiv Tədqiqatlar-ın müstəqil qrupu, süni intellektin qapalı modellərinin elmi kəşflərdə istifadəsinə qarşı çıxış edib. Alimlər hesab edir ki, süni intellektin yaratdığı nəticələr şəffaf olmalı, metodologiya və hesablama xərcləri ictimaiyyətə açıqlanmalıdır. OpenAI bu tövsiyələri qismən qəbul edərək, gələcəkdə elmi seminarların və konfransların maliyyələşdirilməsini planlaşdırdığını açıqlayıb.
Müəlliflik və etik məsələlər
Riyaziyyatda süni intellektin istifadəsi ilə bağlı digər əsas problem elmi müəlliflik hüququdur. Nyu-York Universiteti-nin riyaziyyatçısı Tristan Bakmaster kimi tədqiqatçılar, qapalı sistemlərin hələ dərc olunmamış insan ideyalarından istifadə edə biləcəyindən ehtiyat edirlər. Hazırda elmi ictimaiyyət qarşısında duran əsas vəzifə, süni intellektin yaratdığı nəticələri müstəqil şəkildə yoxlamaq və onları mövcud elmi biliklər sisteminə inteqrasiya etməkdir.
