Formal Mathematical Reasoning: A New Frontier in AI

Prelegent(ci)

Mikołaj Konarski

Język referatu

angielski

Termin

14 marca 2025 12:15

Pokój

p. 5450

Tytuł w języku polskim

Formalne rozumowanie matematyczne – nowy front w badaniach AI

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Rewolucja zastosowań uczenia maszynowego dotarła również do badań nad formalizowaniem matematyki. W referacie przedstawię przegląd współczesnych osiągnięć w tej dziedzinie.

---

The revolution in machine learning applications has also reached research on the formalization of mathematics. In this talk, I will present an overview of contemporary achievements in this field.

---