The last IMO problem AI could not solve [video]

2 points | by ColinWright 8 hours ago