Science· Münster
Floris van Doorn
Prof. Floris van Doorn (Universität Bonn) spricht im Wilhelm Killing Kolloquium über formalisierte Mathematik im Zeitalter der KI, insbesondere darüber, wie generative KI mathematische Probleme löst und wie Lean-Formalisierungen die Korrektheit von Beweisen garantieren können. Dabei diskutiert er die Zuverlässigkeit solcher Formalisierungen und die Perspektiven der Autoformalisierung.