The last IMO problem AI could not solve [video]

3 points | by pykello 13 hours ago