sanroot_Owl··on LLMs are making formal software verification feasible at a much larger scaleI want to add onto that true art requires true subjective experience, which AI lacks.