Why are LLMs not better at finding proofs?youtube.com1 point·agnosticmantis··0 commentsOpen articleSaveView on HN