Proving propositions has been computer work for several decades. This is not a pure LLM. Search algorithms are obviously incredibly powerful at solving search

Proving propositions has been computer work for several decades. This is not a pure LLM. Search algorithms are obviously incredibly powerful at solving search problems. The LLM contribution is an "intuitive" way to optimize the search.