The last IMO problem AI could not solve — ThumbnailUp