I will describe several ways in which tools from reinforcement learning and natural language processing can help with problems in knot theory and low-dimensional topology, including hard challenges such as the smooth Poincare conjecture in dimension 4 and its variants. I will try to make the talk self-contained; in particular, no prior knowledge of machine learning is required, and a large part of the talk will give a gentle introduction to various algorithms and architectures.