Rahvusvahelise Matemaatikaliidu poolt toetatud Leideni deklaratsioon, avaldatud 2. juunil 2026, hoiatab, et tehisintellekt ohustab matemaatika põhiväärtusi mitmel viisil. Esiteks võivad tehisintellekti mudelid toota usutavaid, kuid vigaseid tõestusi, mida on raske korrektsetest eristada. Oxfordi ülikooli arvutiteaduse juhi Leslie Ann Goldbergi sõnul on ebatäpseid tehisintellekti koostatud mustandeid odav toota ning kirjandus võib täituda valede tulemustega, mis kanduvad edasi uutesse uurimustesse. Teiseks ei viita tehisintellekti mudelid sageli nõuetekohaselt inimeste loodud allikmaterjalidele ning paljud mudelid on treenitud andmetel, mis on saadud autoriõigusi rikkudes. Kolmandaks võib tehisintellekti kasutamine muutuda omaette eesmärgiks, moonutades töölevõtu- ja rahastamisotsuseid ning tõrjudes kõrvale uurijad, kel puudub ligipääs vastavatele tehnoloogiatele. Neljandaks levitatakse matemaatikatulemusi üha enam mitteametlike kanalite kaudu, nagu pressiteated ja blogid, mis viib liialdatud arusaamadeni tehisintellekti võimetest. Viiendaks hoiatab deklaratsioon tehnoloogiaettevõtete kasvava mõju eest matemaatika uurimissuundade üle. Deklaratsioonil on juba sadu allakirjutajaid.
