The last IMO problem AI could not solve [video]

(youtube.com)

2 points | by ColinWright 2 hours ago ago