logoalt Hacker News

igraviousyesterday at 11:58 AM1 replyview on HN

"using human-like reasoning (in a brute-force way)"

that's self-contradictory -- what brute force means is doing an exhaustive search of a search space (brute forcing it)

using human-like(?) reasoning means cutting down the search space by having some sort of insight or intuition which allows you to prune branches from the entire tree


Replies

YeGoblynQueenneyesterday at 10:54 PM

LLMs don't search trees. They generate plausible proofs and a human has to check it's true. Repeat until.

show 2 replies