News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.