Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving
by enknee1 on Sunday October 05, 2025 @10:26AM
(#45481738)
Simulated environment suggests the possibility of alignment during training but real time, real world, data streams are better.
But the larger point stands: you don't need an environment to explore the abstraction landscape prescribed by systems thinking. You only need the environment at the human interface.
But the larger point stands: you don't need an environment to explore the abstraction landscape prescribed by systems thinking. You only need the environment at the human interface.