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.

ARC Prize ran GPT-6 Astra through its own standard harness and got 62.7%; OpenAI's private Provider Adapter got 98.6% from the identical model for less money - 36 points added by software nobody outside OpenAI can buy.

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.