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.

NoteThe source strongly confirms most elements of the claim: the TA1 scope expansion to broader mathematical assurance, the abandonment of TA2 Phase 2, the cybersecurity focus on formally-verified firewalls for critical infrastructure, and the motivation from rapid AI progress. However, the source does not mention: (1) specific budget figures (GBP 18M for TA2, GBP 8.4M for TA3), or (2) explicit cancellation of TA3 Phase 2 (the source only discusses TA2 Phase 2 abandonment in detail). The claim about TA3 Phase 2 cancellation is unverifiable from this source. The budget figures are also unverifiable. The date match (28 November 2025 = Nov 2025) is confirmed.

NoteThe 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.