Why are LLMs not better at finding proofs?

1 point by agnosticmantis 1 month ago | 0 comments