3Blue1Brown: The last IMO problem AI could not solve [video]

1 comments

• mdp2021 11 hours ago

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