Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving
by idiotsecant on Saturday October 04, 2025 @07:06PM
(#45477546)
Parent post is talking about symbolic manipulation, not rote number crunching, which is exactly what we're supposed to be good at and machines are supposed to be bad at.
[ Parent
| on HN ]
There are no comments on this comment yet.