Computer und KI: Retter der Mathematik?

detektor.fm | Wissen ›

28:25 | Aug 29th

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. (00:00:00) Intro (0...Show More