当年AI解不出的IMO最难一题《铺瓷砖》，看看聪明的你能否给出答案！