Well, “existence proof” is one possibility—actual doom is incontrovertible proof. That’s probably too late for your purposes, though.
But really, ANY proof is too late, or it wouldn’t be a proof. Once you formally prove something, it’s true (or the proof is wrong). You don’t want it to be true.
I think what you’re looking for is a compelling conditional argument of the form “if you do X, then doom won’t obtain”. This is much harder than a proof.
Indeed, I don’t want a formally-verified watertight Proof of Doom. I’d actually be a little surprised if we were doomed to mathematical standards.
I want a viral memetic Proof of Doom. A compelling argument that will convince everyone clever enough to be dangerous. The sort of thing that a marketing AI might come up with if it were constrained to only speak the truth. The sort of thing that might start a religion. A religion with a prohibition against creating God.
Well, “existence proof” is one possibility—actual doom is incontrovertible proof. That’s probably too late for your purposes, though.
But really, ANY proof is too late, or it wouldn’t be a proof. Once you formally prove something, it’s true (or the proof is wrong). You don’t want it to be true.
I think what you’re looking for is a compelling conditional argument of the form “if you do X, then doom won’t obtain”. This is much harder than a proof.
Indeed, I don’t want a formally-verified watertight Proof of Doom. I’d actually be a little surprised if we were doomed to mathematical standards.
I want a viral memetic Proof of Doom. A compelling argument that will convince everyone clever enough to be dangerous. The sort of thing that a marketing AI might come up with if it were constrained to only speak the truth. The sort of thing that might start a religion. A religion with a prohibition against creating God.