Advanced Research and Invention Agency (ARIA) — Description: Nov 2025 strategic pivot: expanded TA1 scope to broader mathematical assurance (beyond pure formal verification), abandoned TA2 Phase 2 (GBP 18M ML track), cancelled TA3 Phase 2 (GBP 8.4M applications track), and added a cybersecurity focus on formally-verified firewalls for critical infrastructure.

Note: The source confirms most elements of the claim: the November 2025 pivot date, the expansion of TA1 scope to 'mathematical assurance and auditability across a wider range of areas', the abandonment of TA2 Phase 2, the addition of formally-verified firewall focus for critical infrastructure, and the motivation of rapid AI progress outpacing the programme timeline. However, the source does not mention: (1) specific GBP currency amounts for TA2 Phase 2 (18M) or TA3 Phase 2 (8.4M), and (2) the cancellation of TA3 Phase 2 at all. The source only discusses TA1 and TA2 changes. The claim about TA3 Phase 2 cancellation is unverifiable from this source.

Note: The source confirms most elements of the claim: the November 2025 pivot, TA1 scope expansion to 'mathematical assurance and auditability across a wider range of areas', the decision to stop TA2 Phase 2, and the formally-verified firewall focus for critical infrastructure. However, the source does not mention any specific budget figures (GBP 18M for TA2 or GBP 8.4M for TA3) or explicitly confirm the cancellation of TA3 Phase 2. The source only discusses TA2 Phase 2 abandonment in detail. The motivation about rapid AI progress is confirmed.