Full expert symbolic logic reasoning dump. Cannot fake it, or it would have either glaring undefined holes or would contradict the output.
Essentially get the "scratchpad" to be a logic programming language.
Oh wait, Claude cannot really do that. At all...
I'm talking something solvable with SAT-3 or directly possible to translate into such form.
Most people cannot do this even if you tried to teach them to.
Discrete logic is actually hard, even in a fuzzy form. As such, most humans operate in truthiness and heuristics.
If we made an AI operate in this way it would be as alien to us as a Vulcan.
Essentially get the "scratchpad" to be a logic programming language. Oh wait, Claude cannot really do that. At all... I'm talking something solvable with SAT-3 or directly possible to translate into such form.
Most people cannot do this even if you tried to teach them to. Discrete logic is actually hard, even in a fuzzy form. As such, most humans operate in truthiness and heuristics. If we made an AI operate in this way it would be as alien to us as a Vulcan.