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.

An NPR analysis of AdImpact data finds campaigns and outside groups have spent more than $45m since January on ads mentioning data centers in governor, House and Senate races - Republicans and Democrats making the same argument against the same buildout both parties courted.