> @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).
> @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).