When Computers Write Proofs, What's the Point of Mathematicians? Share: Download MP3 Similar Tracks Biggest Puzzle in Computer Science: P vs. NP Quanta Magazine The Riemann Hypothesis, Explained Quanta Magazine Why Computer Vision Is a Hard Problem for AI Quanta Magazine The Man Who Almost Broke Math (And Himself...) Veritasium 2024's Biggest Breakthroughs in Physics Quanta Magazine How AI Cracked the Protein Folding Code and Won a Nobel Prize Quanta Magazine But what are Hamming codes? The origin of error correction 3Blue1Brown Geometer Explains One Concept in 5 Levels of Difficulty | WIRED WIRED AI, Machine Learning, Deep Learning and Generative AI Explained IBM Technology The Man Who Revolutionized Computer Science With Math Quanta Magazine But what is a neural network? | Deep learning chapter 1 3Blue1Brown TLS Handshake Explained - Computerphile Computerphile The Potential for AI in Science and Mathematics - Terence Tao Oxford Mathematics How One Line in the Oldest Math Text Hinted at Hidden Universes Veritasium 2024's Biggest Breakthroughs in Math Quanta Magazine What Makes People Engage With Math | Grant Sanderson | TEDxBerkeley TEDx Talks The history of our world in 18 minutes | David Christian | TED TED Math is the hidden secret to understanding the world | Roger Antonsen TED The Most Misunderstood Concept in Physics Veritasium The Biggest Project in Modern Mathematics Quanta Magazine
