Essays on AI verification, formal methods, and regulatory compliance. Published on velkron.xyz.
In a world where models produce confident-sounding output, the only real defense is proof, not trust. On what a tamper-evident receipt for machine output actually requires.
One requirement buried in the regulation will reshape how compliant AI systems get built. Most teams haven't read it yet.
When a system says it doesn't know, that's not a failure state. It's one of the few honest safety mechanisms available, and most designs actively train it out.