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 confirms most elements of the claim: the TA1 scope expansion to broader mathematical assurance (confirmed), abandonment of TA2 Phase 2 (confirmed), addition of cybersecurity focus on formally-verified firewalls for critical infrastructure (confirmed), and motivation by rapid AI progress (confirmed). However, the source does not mention: (1) the specific GBP 18M amount for TA2 Phase 2, (2) TA3 Phase 2 cancellation at all, or (3) the GBP 8.4M applications track figure. The claim includes financial details and a TA3 cancellation that are not addressed in the source text. The date (Nov 2025) aligns with the source publication date (28 November 2025).

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.