An AI that can execute (all forms of) logic perfectly seems like an obviously useful approach since it is largely (entirely?) domain agnostic, and can fill the gap humans are not able to for cultural reasons.
In my experiments, GPT-4 is already extremely capable in this regard.
In my experiments, GPT-4 is already extremely capable in this regard.