I think that ChatGPT is probably the wrong tool for what I'm imagining. I'm thinking more in terms of "hypothesis generators" and "theorem testers" that, as far as I know, are not using the methods of ChatGPT in their operation. I think that those kinds of tools and others like them could be used to help clarify requirements before coding even starts.