LLM based automated verification surely isn't something that easily works out of the box, but that doesn't mean ventures shouldn't try to work on it.

The purpose of capital is to make progress from where we are now.