You Cannot Prove a Negative Without a Record
When an artificial intelligence system is accused of misuse, the only defence is a tamper-evident account of what it actually did. Ordinary logs fail at exactly that moment because the operator who keeps them can change them. This essay argues that provable innocence is an account, not a state, and that the record has to be signed…
https://mickai.co.uk/articles/prove-a-negative-without-a-record
#AIaccountability #auditrecord #tamperevidence #AIgovernance #postquantumcryptography

You Cannot Prove a Negative Without a Record
When an artificial intelligence system is accused of misuse, the only defence is a tamper-evident account of what it actually did. Ordinary logs fail at exactly that moment because the operator who keeps them can change them. This essay argues that provable innocence is an account, not a state, and that the record has to be signed before the action and verifiable by someone who does not trust you.





