News for hackers. Stuff that matters.
Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by Flere-Imsaho on Sunday October 05, 2025 @05:16PM (#45485358)
Would you say it's more memorization than actual calculations? It certainly feels like it, when say riding a bike.

There are no comments on this comment yet.