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

6 AbstractPlay 1 5/31/2025, 6:15:55 PM youtube.com ↗

Comments (1)

hulitu · 1d ago

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