Remix.run Logo
3Blue1Brown: The last IMO problem AI could not solve [video](youtube.com)
6 points by Razengan 11 hours ago | 1 comments
mdp2021 10 hours ago | parent [-]

Short (~100s) introduction at https://www.youtube.com/watch?v=bRQEWPA832A