Comment by qazxcvbnmlp

Some specification exists as formal constraints. Ie: c code will or will not compile.

However some specification only exists in natural language. IE: make this page optimized for a smartphone. The task of turning that vague direction into formal requirements is work in and of itself. The more you can have the llm help with that — the more time it will save you.