Why are LLMs not better at finding proofs?