2 ms·3Blue1Brown: The last IMO problem AI could not solve [video]8 points by Razengan 8d agomdp2021 8d agoShort (~100s) introduction at https://www.youtube.com/watch?v=bRQEWPA832A https://www.youtube.com/watch?v=bRQEWPA832A