AI Safety Has a Trust Problem. Chris Hsu Is Betting on Proof Instead. Business Matters