Formal Mathematical Reasoning: A New Frontier in AI

Speaker(s)

Mikołaj Konarski

Language of the talk

English

Date

March 14, 2025, 12:15 p.m.

Room

room 5450

Title in Polish

Formalne rozumowanie matematyczne – nowy front w badaniach AI

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---

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.

---