Prediction: You won’t lose your job to AI, until your company starts using PreFlight (Automated Reasoning + ZKML). Here is why. Imagine the company fires the HR person and replaces them with an agent. Over time that agent could, and would likely start hallucinating. How would management know that its decision were based on facts (company HR policy)? “AI is a black box!” With AR, they could turn that policy into formal logic and make sure the agents outputs correspond to facts, precisely. No more guessing if it hallucinated. But who wants to go in and check a thousand AI outputs against formal logic proofs - to audit all of this? “No one.” PreFlight wraps these formal proofs into one succinct proof. With ZK it can be verified in under 1s. “All of our policy rules have always been followed.. by the new HR agent.. shi..” Personally, I am unsure if we can undo this invention. The moment you had agents that are guaranteed to follow facts and succinctly verifiable to have done so, is the moment you have reliable AI coworkers..