Zveme vás na přednášku s názvem Formální obrat v matematice: Od lidské intuice ke strojové verifikaci – umělá inteligence a matematické důkazy
Přednáší: doc. Mgr. Dušan Bednařík, Ph.D. z Katedry matematiky PřF UHK
Kdy: 23. 3. 2026 od 16:30
Kde: učebna S2 (přízemí)
Anotace: V posledních letech vznikají softwarové nástroje zvané proof assistants, které dokážou strojově ověřit správnost matematických důkazů. Přednáška přiblíží jeden z nich – Lean 4 a jeho rostoucí knihovnu formálně verifikovaných teorémů Mathlib. Na konkrétních příkladech uvidíme, jak formální verifikace mění spolupráci matematiků a jak se do tohoto procesu zapojuje umělá inteligence. Závěrem se pokusíme naznačit, co to znamená pro výuku i výzkum matematiky.
- Kdy se koná přednáška o formálním obratu v matematice?
- Přednáška se koná 23. března 2026 od 16:30.
- Kdo bude přednášet o formálním obratu v matematice?
- Přednášku povede doc. Mgr. Dušan Bednařík, Ph.D. z Katedry matematiky PřF UHK.
- Jaké téma bude přednáška pokrývat?
- Přednáška se zaměří na strojovou verifikaci matematických důkazů a využití umělé inteligence v tomto procesu.
- Kde se přednáška uskuteční?
- Přednáška se bude konat v učebně S2 na přízemí.