Michael Reichel (ari)
Es spricht Prof. Dr. Johannes Carmesin (TU Bergakademie Freiberg)
zum Thema: What AI cannot prove yet
Abstract: Recent successes of AI in mathematics have attracted considerable attention. A ful-ler understanding of its capabilities also requires studying problems that current systems fail to solve. I will give an overview of recent developments in AI for ma-thematics and present work from our group that may help to assess the limitations of current systems.
Dienstag, 24. November 2026, 15:00 Uhr, Curie Hörsaal
(Kaffee 14:30 Uhr im Raum C 325)
Alle Interessierten sind herzlich eingeladen!