There are currently many applications of Topology to AI, primarily to ML, particularly applications of Algebraic Topology.
But in the case of (General) Topology in finite spaces applied to AI: are there any current problems rigorous enough for a doctoral thesis?