ARIA Mathematics for Safe AI
Supports mathematical research for AI safety to make powerful systems more reliable and controllable.
ARIA Mathematics for Safe AI is an Opportunity Space under the Advanced Research and Invention Agency, the UK crown body that backs ambitious research and invention. The space is focused on technical approaches that help powerful AI systems interact as intended with real-world systems and populations, using scientific world-models and mathematical proofs as the core tools. The funding route is a rolling grant programme in the UK. It is open to for-profits, nonprofits, and individuals registered and operating in the UK, with no consortium requirement, no match funding, and a development range from TRL 1 to 5. The active programme is Safeguarded AI, and the Opportunity Seeds route reaches up to 500,000 pounds per project, with a median actual award around 300,000 pounds. The best fit is a team working on proof-oriented AI safety, modelling, or assurance work that can be framed as early-stage technical exploration rather than product delivery. Success here depends on a sharp problem statement, a clear tie to the opportunity space, and enough ambition that the work produces new evidence rather than just a narrow incremental result.
No upcoming rounds verified. Cadence: Rolling.