3Blue1Brown: The last IMO problem AI could not solve [video] | Dark Hacker News