Last Week, Rewired

Last Week, Rewired: Examiners, Exploits, and Receipts Welcome to Last Week, Rewired — everything important that happened in AI last week, minus the 400 open tabs. Here's the week that was, November 2–8. 1. The examiners got a lens — and it looks at consequences, not cleverness On November 4, the OCC issued Bulletin 2026-54, a 20-page framework that tells its examiners how to look at a bank's use of generative and agentic AI. Sixteen components sit under six pillars — purpose,

Last Week, Rewired: Proofs, an IPO, and the Bill Coming Due Welcome to Last Week, Rewired — everything important that happened in AI last week, minus the 400 open tabs. Here's the week that was, October 26–November 1. 1. The math duel: two labs, one proof, zero referees (yet) On October 26, OpenAI said its models had disproved the Exponential Time Hypothesis — a decades-old belief about how fast hard problems can be solved — with the proof checked in the Lean proof software.