TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib? — mentioned by lambdaone

Fri, 03 Jul 2026 20:22:38 GMT

Structured thinking and deliberation are indeed important, but you can also make LLMs do structured "thinking" if you work hard enough, and generate quite plausible reasoned arguments with valid real-world results, and you can get them to write down their working as they go. But as research has shown, it's not "true" thinking, just pattern matching at a higher level, and eventually runs out of steam.[0] But you only have to drill down a couple more layers and you are back in the void again; do you have any proof that your own thinking, no matter how structured and accurate, is anything other…

Paper and discussion history. A mention is not an endorsement.

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib? · HackerPapers discussions

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib? — mentioned by lambdaone