It's a matter of degree: you can probably already get GPT4 to generate simple proofs; I'm not expecting it to break new ground in mathematics. What I'm getting at is just that the usage is declarative: you'd be describing what you want, not the details of some particular mathematical formulation (though you would likely iterate, making references to formulation details, but still speaking mostly in natural language).
I understand, thanks for the clarification. What I like to add is that our reality is a competitive one. If everybody can say “do this general thing”, what is the competitive edge? It’s all relative.
We as humans are not just in the business of solving general problems. We are competing with each other. We need to be faster than the slower ones to survive. (I like to change that but that is not a technical issue.)
One of the ways to compete is to “talk faster” with it. Iterate quicker than the competition. How? I daresay we might get there faster by talking in some sort of modified language.. a code of sorts..
Another way to compete is to become a deep domain expert. Expert of what exactly, if AI is doing it all? Human psychology?
I guess I am just interested in the competitive aspect of it. I have no idea what will happen, but definitely curious what will be possible.
