> 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

> 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.