TIL it’s an open problem whether there exists a polynomial bijection from Q to QxQ and therefore apparently a very very difficult question.

who knew?