It showed a complicated map and asked me if it was 3-colorable. Then it said it can convince me that it's 3-colorable without revealing the solution. But then it demonstrated this proof on a super simple map that we already knew to be 2-colorable, not the complicated one I was told to assess.