Leadership & Executive
The Board Room
Claude agents ran unsupervised for 11 days because a proof checker did the supervising.
The enabling condition is narrower than the result: all 13 million lines of the Fermat proof were machine-checkable, which is what let Imperial's Kevin Buzzard sign off and equally what stops this generalizing. Where judgment is the output and no verifier exists, the same autonomy lands on your budget as supervision cost, not leverage. The workloads this precedent actually covers are the ones that already have a checker.
In Play
Long-Horizon Autonomy Landed Where a Checker Exists
Anthropic says dozens of Claude agents ran mostly autonomously for 11 days and produced a formally verified proof of Fermat's Last Theorem, independently reviewed by Imperial College London's Kevin Buzzard, per Techpresso. Treat it as a funding test rather than a milestone: agent autonomy converts to leverage where an automated verifier already exists, and turns into supervision cost where judgment is the output.
Ask ClarityRansomware Now Finishes Inside One Shift
An AI-agent-assisted crew completed a full ransomware intrusion in under 10 hours, per CSO's reporting. Entry was exposed credentials, and escalation ran across trust relationships spanning development and cloud environments, with no exploit required. Every tiered escalation and on-call handoff in your runbook is latency now, not control. Two independent security roundups flag the 10-hour figure as headline-level sourcing: mechanism solid, magnitude unverified.
Ask ClarityPrivilege Delegated Years Ago Became Host Access
PostgreSQL patched a 12-year-old logical decoding flaw that lets any account holding the REPLICATION attribute run code as the operating-system user behind the database, per The Hacker News. Change-data-capture, ETL and warehouse vendors routinely hold that attribute, so an afternoon's patch becomes a third-party privilege audit and a legal review of what suppliers could technically reach. A separate toolkit was compiled into victims' own HAProxy builds, so integrity checks passed by design.
Ask ClarityHawkish Fed, Shrinking Information Sector
August payrolls printed 162,000, more than triple the Dow Jones consensus, and rate-hike odds for the Sept 16 Fed meeting moved from 49% to 59% in a single session, per Morning Brew. The information sector shed 23,000 jobs in the same month restaurants and bars added 59,000. Your cost of capital and your seat-count expansion are being repriced at once, and only the first one is cyclical.
Ask ClarityDay-One Supervisors and the Judgment Bill
EY US committed $100M to rewarding judgment, business acumen and adaptability, and announced a paid Career Residency of eight to twelve months in which participants join as analysts rather than interns, starting in 2028. Graduates now begin their careers reviewing model output — supervision work that used to be earned after a decade of doing the job. The 2028 start is a window for faster builders, not a moat for EY.
Ask Clarity
Deep Dives
- ●
Eleven Days of Autonomy, Rented From a Proof Checker
A lab result that reads like a milestone is really a specification: it names the two conditions under which agent autonomy pays, and both have gotten harder to meet.
The binding constraint was coordination, not intelligence The most useful detail in the Fermat result is the failure that had to be fixed before anything else worked. The agents initially lost track of their own work , and the repair…
3 action items
- ●
Ten Hours to Impact, Twelve Years of Standing Privilege
The approval chain is now the slowest component in your incident response, and the accounts that make a breach total were handed out years ago by people following policy.
Containment is an authority decision, not a tooling decision The tempo claim can be set aside, because one finding survives on mechanism alone: containment speed is bounded by who is pre-authorised to act at 3am , meaning who can disable…
3 action items
- ●
The Seat You Sell Is Disappearing From the Payroll Data
Rates and headcount moved against technology plans in the same session, and only one of those two problems can be fixed from inside your own company.
Seat-based pricing against a shrinking seat count If AI is genuinely reducing information-sector headcount, then seat-based pricing is self-cannibalising for anyone selling AI: every successful deployment shrinks the metric on the invoice. The decay does not arrive labelled. It surfaces…
3 action items
The edition continues
Take the signal into the room.
Sign up or log in to read all 3 deep dives in full, plus the final take.
Read the full editionContinue with LinkedIn