detektor.fm 
Die Mathematik wird immer komplexer. Computerprogramme wie Lean und KI sollen künftig helfen, Beweise zu prüfen und Fehler zu minimieren. Nebenbei fördern sie auch das Teamwork.
#Formalisierung #KI #Lean #Mathematik #SpektrumDerWissenschaft #SpektrumPodcast #SpektrumDerWissenschaftDerPodcast
Computer und KI: Retter der Mathematik?
Computer prüfen mit Programmen wie Lean schon heute Beweise, decken Fehler auf und könnten die Mathematik grundlegend verändern.