Eventually you remove sufficient ambiguity from a natural language interface that you can use it in situations where correctness is important. At this point, you have invented a programming language.
I wish. Lojban is a powerful counterexample; the community still resists formal semantics to this day. It’s not enough to wish for logical behaviors; we have to deliberately craft formal systems with logic in mind.
I almost forgot about Lojban :)
As a side note, I asked ChatGPT to translate a sentence to Lojban, it seems to work, but unsure about the quality of the translation.
After ChatGPT is sufficiently discussed online, and the next iteration contains these discussions, you will also be able to do a few prompts in succession like:
Eventually you remove sufficient ambiguity from a natural language interface that you can use it in situations where correctness is important. At this point, you have invented a programming language.
I wish. Lojban is a powerful counterexample; the community still resists formal semantics to this day. It’s not enough to wish for logical behaviors; we have to deliberately craft formal systems with logic in mind.
I almost forgot about Lojban :) As a side note, I asked ChatGPT to translate a sentence to Lojban, it seems to work, but unsure about the quality of the translation.
After ChatGPT is sufficiently discussed online, and the next iteration contains these discussions, you will also be able to do a few prompts in succession like: