When AI Writes the World's Software, Who Verifies It? (via regulator) — discussion
#formalmethods #logiclangs #vibecoding
