Hiten Shah Advises on Proof for AI Coding Agents · Digg