Why Are LLMs Not Better at Finding Proofs? [video]

> Why Are LLMs Not Better at Finding Proofs? [video]

Are they able to ?

"Computers are ... [1] , they can only give answers"

[1] i cannot remember the exact quote.