●builderDo not expect AI to automatically prove arbitrary code correct; you must write code suitable for verification.
●researcherThis emphasizes the need for research into specialized, verifiable programming languages rather than general-purpose code.