Research & Blog

Deep Tech

PhD-level technical analysis of papers, benchmarks, and attack methods.

TECHNICALJul 8, 2026 · 7 min read

Read the NIST Guardrail Proof as a Liability Document

A formally correct extension of Gödel to AI guardrails tells attackers and defenders nothing they didn't already know. Its real payload is what it does to approval paper trails, and the math worth studying is in how guardrail failure actually scales.

Alex Georges, PhDRead →

Get new writing by email.

Occasional notes on AI risk, adversarial testing, and governance. No marketing drip.