I gave an AI one job: write code that emits a Lean proof that a number is prime — then rewrite that code to prove a bigger prime each round. A kernel checks every proof. It can't fake one. It went…