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.

Moving for summary judgment, Microsoft says the publishers' own expert found 16-word overlaps in 59,545 of 8.2 million Copilot logs and the authors' expert found 30-word matches in 24 - the Times says discovery shows theft.