Međunarodna matematička unija (IMU) objavila je da službeno podržava Leidensku deklaraciju o umjetnoj inteligenciji i matematici, dokument koji se bavi utjecajem suvremenih AI tehnologija na matematičko istraživanje i akademsku praksu. Deklaracija je objavljena 2. lipnja 2026.
Deklaracija je nastala kao rezultat konferencije Mechanization and Mathematical Research, održane u rujnu 2025. na Sveučilištu Leiden, uz sudjelovanje oko 60 stručnjaka iz 10 zemalja — matematičara, informatičara, filozofa i društvenih znanstvenika. Nakon konferencije, manja radna skupina razvila je tekst uz široke povratne informacije matematičke zajednice.
Ključne poruke deklaracije
Deklaracija ističe temeljne vrijednosti matematičke struke: središnju ulogu dokaza, jasnoću i razumijevanje, pravilnu atribuciju rezultata, mogućnost neovisne provjere te odgovornost zajednice u vrednovanju znanstvenog rada.
Upozorava i na nekoliko izazova koje donosi sve veća prisutnost AI alata u matematici:
- točnost i pouzdanost: automatizirani sustavi mogu generirati uvjerljive, ali pogrešne argumente, kako u neformalnom tekstu tako i u formaliziranoj matematici, osobito kada definicije nisu precizno zadane;
- atribucija i citiranje: AI sustavi trenirani na matematičkoj literaturi često ne poštuju akademske norme navođenja izvora, što povećava odgovornost ljudskih autora za jasno označavanje intelektualnog doprinosa;
- pritisak na recenzentske procese: lakša proizvodnja opsežnih i tehnički složenih tekstova može dodatno opteretiti recenzente, dok se istodobno povećava rizik od preuranjenih tvrdnji o značaju rezultata izvan formalnih kanala recenzije;
- neujednačen pristup resursima: razlike u dostupnosti računalne infrastrukture i komercijalnih AI alata mogu produbiti nejednakosti među državama, institucijama i istraživačkim skupinama;
- gubitak autonomije discipline: postoji rizik da pojedina područja postanu popularna samo zato što AI sustavi u njima dobro funkcioniraju, a ne zbog njihove matematičke važnosti.
Deklaracija preporučuje razvoj jasnih okvira za suradnju s industrijom, uz naglasak na transparentnost i razumijevanje kompromisa koje takve suradnje mogu uključivati.
Preporuke matematičarima i institucijama
Dokument poziva matematičare da:
- otvoreno navode korištenje automatiziranih alata;
- podrže potrebe recenzenata;
- promiču načela otvorene znanosti gdje je to primjereno;
- zadrže punu odgovornost za točnost i atribuciju rezultata.
Institucijama, izdavačima i donositeljima politika preporučuje se razvoj jasnih uredničkih i recenzentskih standarda, zaštita autorskih prava, ulaganje u javnu istraživačku infrastrukturu te suzdržavanje od pretjeranih tvrdnji o mogućnostima AI sustava.
Zašto IMU podržava deklaraciju
IMU navodi da je deklaracija pravovremen, ozbiljan i uravnotežen doprinos raspravi o ulozi umjetne inteligencije u matematici te da potiče zajednicu na transparentno djelovanje u skladu s vrijednostima discipline.
Rasprava će se nastaviti i na ovogodišnjem Međunarodnom matematičkom kongresu (ICM 2026) u Philadelphiji, gdje će Jim Portegies, voditelj radne skupine deklaracije, održati predavanje posvećeno ovoj temi.
Više informacija dostupno je u uvodniku časopisa IMU News br. 137.
