3 items

All three articles are really about the same problem: who controls the values baked into AI systems, and what happens when the control mechanisms fail. OpenAI's board failed. Formal verification in mathematics works precisely because it doesn't rely on trusting anyone. Anthropic is building religious coalitions partly because trust in its own stated values is now a legal liability. The week's through-line is that trust in AI is becoming an institutional infrastructure problem, and none of the institutions are holding.

The Economist 2026-04-11-1

AI mathematicians: By devising and verifying proofs, AI is changing how maths is done

Four independent groups racing to formalize proofs in Lean, and Math Inc. translated Viazovska's sphere-packing work in weeks rather than the decade Hales needed for peer review, but DARPA's Shafto names the real bottleneck as trust, not computation. AI's primary value in mathematics is making claims auditable at scale. That separation between generation and formal verification is the architecture every enterprise AI system will eventually need.

The New Yorker 2026-04-11-2

Sam Altman May Control Our Future — Can He Be Trusted?

The strongest governance structure ever designed for an AI company: nonprofit board, fiduciary duty to humanity, power to fire the CEO. It fired the CEO. Five days later, he was back, the board was gone, and the investigation produced no written report. The replacement accountability mechanism for the most consequential technology company on earth is now investigative journalism. Farrow and Marantz's 100-interview, document-heavy piece doesn't just profile Altman; it empirically falsifies self-governance as a viable model for frontier AI.

The Washington Post 2026-04-11-3

Can AI be a 'child of God'? Inside Anthropic's meeting with Christian leaders.

Mid-legal-battle over the Pentagon forcing Anthropic to strip Claude's values, the company convened 15 Christian leaders at HQ to advise on Claude's moral formation — and those leaders left saying the people building it are sincere. It can be both genuine and strategic; the series is announced as multi-tradition, the attendees carry public platforms, and the legal conflict frames exactly what's at stake. Enterprise buyers now have a new vendor selection dimension: whose moral framework are you importing into your organization.