An interesting comparison. But most software can't be fully specified by "prove or disprove X well defined conjecture"
If you gave me gpt 10 or a team of software engineers, coding would be easier, but it would still be hard because I have to decide what I want and communicate it with specificity
I was thinking things like
“make a best selling AAA game”,
“make an app that will gather a million users”,
who knows, if it knows you well, even
“make the tech i want but i haven’t even thought of yet”.
If anyone can run these prompts, then it’s just a competition of who can buy the most tokens.
Imagine I had said "cooking will always be hard because you have to know what you want the food to taste like"
The existence of restaurants, even really good ones, can't make "figuring out what I want to eat" easy. My point is that even if implementation is solved, "what do I want?" is still hard.
