The last IMO problem AI could not solve [video]

(youtube.com)

3 points | by pykello 12 hours ago ago