mdp2021
10 hours ago
Short (~100s) introduction at https://www.youtube.com/watch?v=bRQEWPA832A
3Blue1Brown: The last IMO problem AI could not solve [video]
6 pointsposted 11 hours ago
by Razengan10 hours ago
Short (~100s) introduction at https://www.youtube.com/watch?v=bRQEWPA832A