Und noch ein interessantes Video: Kevin Buzzard berichtet sehr lebendig über die neuen Entwicklungen bei der Formalisierbarkeit mathematischer Beweise. https://youtu.be/Dp-mQ3HxgDE