Interfaces

I think ChatGPT (and similar systems) should get interfaced to:

1. "Calculators", and in a more general sense "Computer Algebra Systems"
2. Proof assistants (like CoQ or HOL)
3. The kind of stuff smartphones can do, like assisting in planning tasks and so on

Calculation should be easiest. It could reply along the lines of "For this part of my response, I consulted the Computer Algebra System Axiom. It gave the result:" Proof Assistants would be harder, as they're interactive by definition, but this would probably give very interesting results. After all, a "proof" is a kind of text, too. Assisting in planning tasks would require the system to interact with intimate, private, or personal data, which would make some extra consideration necessary. But in the end, those systems should be engineered in a way that makes it impossible for the user to accidentally share sensitive data, so it should be ok, too.