For the arts, On creating something sufficiently novel, EDA tools solve part of the problem in chip design, for example; furthermore sometimes with logic inst

For the arts, On creating something sufficiently novel, EDA tools solve part of the problem in chip design, for example; furthermore sometimes with logic instead of imitation. Will any LLM ever output a formally verified design and implementation without significant tree filtering, Even if trained solely on formally verified code? Synthesis without understanding, and worse without ethics.