The problem is this: “Astra write me a masters thesis applying new techniques programming language theory to Rust” is not using a tool, it’s hiring someone to do the work and thinking for you.
I have difficulty figuring out how to solve this issue.
I have difficulty figuring out how to solve this issue.
That being said, if whatever Astra is spitting is really innovative, the prompt author understands it, proof checks it and can support it in front of a live evaluator I think it’s good enough for me. In practice I think that prompt would be just one of many, perhaps also some “old school” evaluation and improvement before the thesis is done. Again, I see the AI as a tool.
You could ask Astra to generate you an e-commerce website with one prompt. Can you show it to someone and claim it as your project? Can you actually use that in production?