5 ms·

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

• hulitu 1y 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.