How good are state-of-the art LLMs such as Gemini Deep Think at logic? That is a central question for the development of AI. How good are they at finding new connections between a priori distinct mathematical structures? It might take your breath away. I will discuss some down to earth examples related to current maths research where Deep Think delivered an impressive performance. I will also discuss current limitations.