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
