@etchedpixels @liw Formal proofs? You mean, something that requires writing a clear, well specified definition of what you want a system to do? An LLM (the equivalent of a pub conversation on requirements) is always going to be more attractive to most.