Změna v tom, jak vznikají matematické důkazy, může mít dlouhodobý dopad, takže pro kolegu ve vědě je tu užitečný kus souvislostí.
Matematici varují: AI mění podstatu vědy Tok příběhu a hlavní fakta
Mezinárodní skupina matematiků, včetně českého vědce Vítězslava Kaly, podepsala Leidenskou deklaraci o umělé inteligenci a matematice, která upozorňuje na hrozby pro vědeckou integritu. Deklarace, vydaná na Leidenské univerzitě a podpořená Mezinárodní matematickou unií, varuje před tím, že AI může generovat matematické důkazy, které vypadají přesvědčivě, ale obsahují skryté chyby. Zároveň se obává ztráty autorských práv, protože systémy AI často neuvádějí zdroje lidské práce, na níž staví.
Podpisové deklarace se zúčastnili výzkumníci z 15 univerzit, a mezi podporovatele patří tisíce vědců z celého světa. Cílem není zakázat AI, ale stanovit jasné etické a metodologické normy pro její využití v matematickém výzkumu. Důraz je kladen na zachování lidské odpovědnosti za správnost důkazů a transparentnost při použití AI.
Český matematik Kala zdůrazňuje, že i když AI pomáhá například při hledání řešení problémů Paula Erdöse, stále jde o hledání jehly v kupce sena. Zároveň varuje, že rychlý technologický pokrok může za pár měsíců znehodnotit dnešní řešení. Budoucnost matematiky podle deklarace musí zůstat hluboce lidským úsilím, řízeným lidským úsudkem a sdílenými hodnotami.
Fakta
- Leidenská deklarace o umělé inteligenci a matematice byla zveřejněna v červnu 2026 skupinou 16 výzkumníků z 15 univerzit.
- Deklaraci podepsalo několik tisíc matematiků z celého světa, včetně českého vědce Vítězslava Kaly z Matematicko-fyzikální fakulty UK.
- Dokument varuje před riziky AI, jako jsou nespolehlivé důkazy, porušování autorských práv a ztráta lidské kontroly nad výzkumem.
- Mezinárodní matematická unie oficiálně deklaraci podpořila a zdůraznila, že matematika musí zůstat hluboce lidským úsilím.
- Český matematik Kala uvedl, že AI dokázala vyřešit problém Paula Erdöse, ale zároveň může generovat zdánlivě přesvědčivé, avšak chybné důkazy.
Vizuální vysvětlení zpráv od Canto. Při tvorbě mohou pomáhat nástroje AI. Redakční zásady
