This is pretty cool. It would be awesome if at some point we could enter any problem and find generalized approaches towards solutions, but enabling search of t

This is pretty cool. It would be awesome if at some point we could enter any problem and find generalized approaches towards solutions, but enabling search of this kind must count as a first step in that direction. Bravo. For example: I'd like to be able to look into understanding 4D objects (hypercubes), but I'd have a hard time finding trivial (recreational) puzzles about them, let alone their solutions and mathematical formulations.