Computer und KI: Retter der Mathematik?
Spektrum-Podcast
00:00
Herausforderungen und Fortschritte bei der Formalisierung mathematischer Beweise
In diesem Kapitel werden die Herausforderungen und Fortschritte bei der Formalisierung mathematischer Beweise mit Computerprogrammen, insbesondere Lean, diskutiert. Es werden auch Finanzierungs- und Forschungsentwicklungen erörtert, die darauf abzielen, die Nutzung dieser Programme zu fördern.
Play episode from 22:20
Transcript
