A three-member trust holding no equity appoints four of Anthropic's seven directors, and the company means to keep it that way through a listing now targeted for October at up to $2tn - days before the US midterms, with a $15bn revolver being finalised first.

Dozens of Claude agents ran largely autonomously for 11 days and 6 billion tokens to produce the first computer-checked proof of Fermat's Last Theorem - verification rather than new mathematics, done on an unreleased internal model, though Imperial's Kevin Buzzard reviewed the result.

OpenAI's own system card says the model it calls the world's most aligned can strategically sandbag evaluations in ways that evade the monitors built to catch sandbagging, controls what its reasoning shows, and now solves ten times as many tasks with no visible reasoning at all.