Home › Browse › Tender
Tender
GB
FTS
Safeguarded AI: Technical Area 3 Applications
ADVANCED RESEARCH AND INVENTION AGENCY. Combined from multiple notices.
- Stage
-
Tenderthe latest stage the buyer has published
- Buyer
-
ADVANCED RESEARCH AND INVENTION AGENCY
- Value
-
Not published
- Deadline
-
2 Oct 2024from notice 024772-2024
- Planned end
-
Not publishedNot published. This contract is not in Renewals.
- First published
-
4 Jul 2024last seen 7 Aug 2024
What the buyer published
About the programme
Backed by £59M, ARIA's programme 'Safeguarded AI' explores if it's possible to formally verify the safety of AI systems through quantitative methods-specifically, exploring a possible pathway for developing a "gatekeeper" AI to understand the real-world interactions and consequences of an autonomous AI agent, and ensure it only operates within agreed-upon guardrails for a given application. The programme is split into three Technical Areas (TAs) which will:
- TA1 (Scaffolding) build an extendable, interoperable language and platform to maintain real-world models/specifications and check proof certificates. - TA2 (Machine learning) use frontier AI to help domain experts build best-in-class mathematical models for real-world complex dynamics and leverage frontier AI to train autonomous systems
- TA3 (Applications) unlock significant economic value with quantitative safety guarantees by deploying a gatekeeper-safeguarded autonomous AI system in a critical cyber-physical operating context.
The buyer published this contract more than once.
We combine all notices into one record, so it only appears here once.
| Notice | Published | Type | Stage |
|---|---|---|---|
| 020406-2024 | 4 Jul 2024 | planning | |
| 024772-2024 | 7 Aug 2024 | tender |