Umělá inteligence proniká stále hlouběji do matematického výzkumu a část odborné komunity začíná upozorňovat, že tempo změn může být rychlejší než schopnost oboru se jim přizpůsobit. Skupina matematiků, informatiků a historiků matematiky proto zveřejnila Leiden Declaration, dokument vyzývající k opatrnějšímu a kritičtějšímu přístupu k využívání AI v matematice.
Deklaraci podpořily desítky akademiků z předních světových univerzit a také International Mathematical Union. Autoři upozorňují, že kolem AI vzniká prostředí, ve kterém mohou marketingová tvrzení technologických firem získávat větší váhu než skutečné vědecké výsledky. Současně varují před situací, kdy by se směr výzkumu začal řídit primárně podle dostupných modelů a financování velkých technologických společností.
“Mathematics is, and should always remain, a fundamentally human endeavor.”
Samotné používání AI dokument nezpochybňuje. Matematici naopak uznávají přínosy systémů pro formální verifikaci důkazů, automatickou kontrolu matematických tvrzení nebo hledání nových souvislostí v rozsáhlých datech. Kritika míří především na nekritické přijímání výstupů modelů a na riziko, že budou publikovány nebo citovány výsledky, které lidé dostatečně neověřili.
Debata přichází v době, kdy AI dosahuje v matematice výsledků, které by ještě před několika lety působily nepravděpodobně. Výzkumné týmy napojené na OpenAI, Google DeepMind i akademické instituce ukazují, že moderní modely dokážou pomáhat s řešením složitých matematických problémů, generováním důkazů i prací ve formálních matematických systémech. Právě tyto úspěchy zároveň otevírají otázku, jak bude matematický výzkum vypadat za několik let a jakou roli v něm budou hrát lidé.
Leiden Declaration tak není varováním před samotnou technologií, ale před způsobem jejího používání. Autoři dokumentu vyzývají k transparentnosti, důsledné kontrole výsledků a zachování lidské odpovědnosti za vědecké poznání i v době, kdy se AI stává běžnou součástí výzkumného procesu.
Zdroje:
- https://www.science.org/content/article/mathematicians-issue-warning-ai-rapidly-gains-ground
- https://arstechnica.com/tech-policy/2026/06/mathematicians-warn-of-ai-threats-to-profession-as-industry-encroaches/
- https://www.scientificamerican.com/article/mathematicians-sign-declaration-to-rein-in-ai-use/
- https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/
