In the comments: > @tao curious to know what makes LLM fundamentally different compared to (other) automatic theorem provers? It highlighted that "automatic"

In the comments: > @tao curious to know what makes LLM fundamentally different compared to (other) automatic theorem provers? It highlighted that "automatic" is a spectrum. And the norm is shifting toward "fully" (even if the process is chaotic).