Riyaziyyatçılar AI tərəfindən yaradılan nəticələrin dərc qaydalarını müəyyənləşdirdilər

Riyaziyyat və süni intellekt məsələləri üzərində çalışan müstəqil qrup (agmai.org) 29 sentyabrda AI laboratoriyalarının modellər tərəfindən yaradılmış riyazi nəticələri necə dərc etməli olduğuna dair tövsiyələr yayımladı. “Responsible Release of AI-Generated Mathematics” sənədi riyaziyyat ictimaiyyətinin 600-dən çox cavabı əsasında hazırlanıb.

Müəlliflər əvvəlcədən bildirirlər ki, aparıcı AI laboratoriyasının riyaziyyatın çətin məsələlərini ictimaiyyət üçün əlçatmaz modellər üzərində yoxlaması praktikasını dəstəkləmirlər və onları bundan əl çəkməyə çağırırlar.

Bu niyə vacibdir

Riyaziyyat tədqiqatı normalara əsaslanır: əsərin müəllifi öz nəticəsini özü başa düşməli, düzgünlüyünü özü yoxlamalı və məzmununa görə məsuliyyət daşımalıdır. İndi AI elə riyazi mülahizə təqdim edə bilər ki, bu, sorğu verən üçün anlaşılmaz və yoxlanılmaz qalır. Qrupun mövqeyinə görə, riyaziyyatın insan tərəfindən dərk edilməsi əsas dəyərdir və məsuliyyətli elmi nəşrin bir hissəsi kimi qalmalıdır.

Dərc üçün iki yol

Sənəd insanın başa düşdüyü nəticə ilə hələ heç kimin başa düşmədiyi nəticəni fərqləndirir. Birinci halda akademik ənənə işləyir: preprint, əsərin jurnalda baxılmaq üçün göndərilməsi və müəllifin əsəri həmkarlarına izah etdiyi seminarlar.

Əgər model tərəfindən yaradılan mülahizə sorğu verən üçün anlaşılmazdırsa, qrup ilkin dərc üçün texniki normalar müəyyən edir: laboratoriya ədəbiyyatda əlaqəli ideyaları axtarmalı və onların ilk dəfə göründüyü əsərləri göstərməlidir, hətta model onları müstəqil kəşf edibsə də. Sübutlar standart riyazi əsər üslubunda, dəqiq teoremlərlə və qeyri-standart terminologiya olmadan yenidən yazılmalıdır. Nəticələr vaxtında heç bir AI laboratoriyasının nəzarət etmədiyi elmi repozitoriyalara yerləşdirilməlidir.

Hər nəticə üçün laboratoriya modelin adını, istifadə olunmuş promptları, düşüncə zəncirinin xülasəsini, sərf olunmuş vaxtı və hesablamanın təxmini dəyərini dərc etməlidir. Əgər eyni vaxtda çoxlu nəticə dərc edilirsə, onların hamısına istinad edən və modelin oxşar çətinlikdə olan neçə məsələni həll edə bilmədiyini, məsələlərin necə seçildiyini izah edən ayrıca sənəd tələb olunur.

Maliyyələşdirmə və geniş əlçatanlıq

Qrupun fikrincə, mühüm nəticələri insanın dərk etməsi olmadan dərc edən laboratoriya məsuliyyət götürməli və dərketmənin gec də olsa baş verməsi üçün maliyyə də daxil olmaqla dəstək göstərməlidir. Hansı layihələrin maliyyələşdiriləcəyini müstəqil qeyri-kommersiya təşkilatları müəyyən edir, qrupun özü və ya laboratoriyalar yox. Dəstək çətin sübuta həsr olunmuş konfransa, iş görüşünə, uzunmüddətli işçi qrupuna, postdokların maliyyələşdirilməsinə və ya izahedici kitabların yazılmasına yönəldilə bilər.

Sənəd xəbərdarlıq edir ki, qapalı daxili modellərə əsaslanan tədqiqat iki səviyyəyə bölünmüş sistem riski yaradır: bir neçə laboratoriya qalan sahəni qabaqlayır və riyaziyyat ictimaiyyətini öz fənnindən uzaqlaşdırır. Qrup laboratoriyaları qlobal riyaziyyat ictimaiyyətinə ictimaiyyət üçün açıq modellərə geniş və bərabər giriş imkanı verməyə çağırır, çünki riyaziyyat kollektiv yoxlama, anlayışların sintezi və ümumi intuisiya ilə inkişaf edir.