Šesnaest matematičara, u konsultaciji sa kolegama i relevantnim organizacijama, objavilo je Leidensku deklaraciju o veštačkoj inteligenciji i matematici. Deklaracija, koja je do objavljivanja prikupila više od 130 potpisa, iznosi ključne izazove koje široka upotreba AI predstavlja za matematička istraživanja, kao i preporuke za istraživače, organizacije, vlade i kompanije.
Deklaracija ne osuđuje korišćenje AI u matematici, već postavlja pitanje šta znači odgovorno korišćenje u kontekstu tačnosti, transparentnosti i ljudske kreativnosti. Među glavnim zabrinutostima su AI-generisani dokazi koje je teško uklopiti u postojeće procedure, kao i nedovoljno citiranje ljudskog rada. Preporuke uključuju obavezno otkrivanje upotrebe AI, strožije recenzije i ulaganja u javnu računarsku infrastrukturu.