News for hackers. Stuff that matters.
Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by jaggederest on Sunday October 05, 2025 @01:00AM (#45478964)
Simulation is the answer. You just need a model that's decent at economics to independently judge the outcome, unless the model itself is smart enough. Then it becomes a self-reinforcing training environment.

Now, depending on how good your simulation is, it may or may not be useful, but still, that's how you do it. Something like https://en.wikipedia.org/wiki/MuZero

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by drbojingle on Sunday October 05, 2025 @06:38AM (#45480500)
Electric dreams. Simulation of what?