Essay · AI · verification · engineering

Models Propose, Oracles Dispose

A generated claim is a proposal. Nothing a model produces becomes evidence until something the model does not control has had its chance to say no.

Zain Dana Harper/July 29, 2026/… words/AI-assisted, author-directed, publicly disclosed