Excited for the launch of ARIA's Safeguarded AI programme. 🚀 The goal: an AI gatekeeper tasked with guaranteeing the outputs of other AI agents.
'If we're successful, we'll build a pipeline from problem specification to demonstrating real economic value.'
Details below 👇 /1

📣Call for proposals!

Imagine a world where AI powers scientific breakthroughs, growth + prosperity – all with guaranteed safety measures.

Our latest programme, Safeguarded AI, led by Programme Director davidad 🎇 is now live. Learn more about how we plan to get there here👇 1/3

Tomorrow we’re launching our new programme: Safeguarded AI

Check back here in the morning to find out all about it 👀

Cool to see Vinod Khosla fund this. And davidad 🎇 doing applied category theory for AI alignment at ARIA.

Let us take a moment to recognize The Great David Spivak, who has been carrying the torch of applied category theory ~alone since about 2009. Thanks, David!

I'm hiring a technical specialist to be my right hand person in running the programme. Looking for expertise in neuroengineering/systems-neuro/bioengineering, across academia and/or industry.

If you are interested, or know someone who might be, please checkout the link below👇

The ARIA neurotechnology thesis is live!

Excited to see the awesome projects that are sure to be spawned from this programme.

Exciting new ARIA programme that aims to reveal circuit level understanding of neuropsychiatric conditions and unlock new treatment options 👇

This is one of the most exciting opportunities in #neurotech right now.

It's equal parts wildly ambitious and carefully grounded.

Check it out. Be a part of the future of precision neurotech.

🚨Excited to share that our programme thesis is live!🚨
We lay out a vision for ***precision neurotech*** capable of tackling some of the most complex brain disorders at the circuit level. We believe this is possible by leveraging advances in bio- & hardware-engineering🧠🧬💻

🚨New ARIA programme thesis
GOAL: spark invention of precision neurotechnologies. INSIGHT: many neurological & neuropsychiatric conditions are neural circuit disorders -- to understand/treat them, we need new tools that can interface at the circuit level. A few highlights...🧵

Highly recommend - also well done ARIA for helping seed this (it grew out of a project Ben had with ARIA, fab ROI!).

'There’s a reason ARIA is being tasked with tackling these 'moonshot’ technologies.'

Read more about Programme Director Suraj Bramhavar's efforts to redefine the current compute paradigm in The Times and The Sunday Times 👇

thetimes.co.uk/article/comput…

Matt Ridley Bosch is a notable exception when it comes to the Nobel. It’s fun to read his prize lecture & compare it to Haber’s. Would be great to have more Bosch-style Nobels! (fwiw my nomination would be Dick Swanson)