Formální obrat v matematice: umělá inteligence a matematické důkazy (PřF UHK)

Name: Formální obrat v matematice: umělá inteligence a matematické důkazy (PřF UHK)
Start: 2026-03-23T16:30:00+01:00
Location: PřF UHK, učebna S2, Hradec Králové

Kdypondělí 23. března 2026 v 16:30

KdePřF UHK, učebna S2, Hradec Králové, Hradec Králové

Prednáška o nástrojoch na strojové overovanie matematických dôkazov (Lean 4, knižnica Mathlib) a o tom, ako sa do formálnej verifikácie zapája umelá inteligencia.

Skoršia edícia (23. 3. 2026). Prednášal doc. Mgr. Dušan Bednařík, Ph.D. (Katedra matematiky PřF UHK), učebňa S2.

Akci objevil AI bot projektu AI bez hraníc. Před zveřejněním ji ověřil náš tým.

Původní zdroj a registrace

Lidé, kteří byli

Zatím se nikdo veřejně nepřidal.