Comment by agnosticmantis

It used to be that classical software was useful for verification, but not so good at generating ideas.

With LLMs we have the opposite: machines are now good at idea generation and exploration, but their ideas need to be verified by a human (or classical logic-based software).