It's a combination of GOFAI (fancy tree search) and ML (neural networks and differentiable programming)

The idea isn't particularly new but it wasn't possible to implement anything useful until recently when attention/transformers and LLMs gave a huge boost to NLP and most ML tasks.