Paradox Fest
Discussing The Man from the Future
Computer Proofs and Artificial Intelligence in Mathematics