The last IMO problem AI could not solve [video]youtube.com3 points·ColinWright··0 commentsOpen articleSaveView on HN