Why Are LLMs Not Better at Finding Proofs? [video]
1–2 of 2 posts
Re: Why Are LLMs Not Better at Finding Proofs? [video]
#2> 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.