The last IMO problem AI could not solve [video]

(youtube.com)

1 points | by ColinWright 11 hours ago ago