3Blue1Brown: The last IMO problem AI could not solve [video]youtube.com9 points·Razengan··1 commentOpen articleSaveView on HN