Why are LLMs not better at finding proofs?

by agnosticmantis on 6/3/2025, 1:04:09 AM with 0 comments