The Black Box Problem: Why AI Needs Proof, Not Promises