People seem to be arriving at a similar conclusion from various angles:
- AGI may not emerge as a monolith, but as a distributed "patchwork" system of coordinating sub-AGI agents [1]
- Static benchmarks aren't enough; we need multi-agent ones to capture emergent risks and capabilities [2]
- As creation costs go to zero, human verification bandwidth becomes the ultimate economic bottleneck, making verification infrastructure one of the most important public goods for the AI era [3]
- Automated proof-generation and verification can act as the unlock for this bottleneck [4]
- New kinds of strategic interactions between agents are emerging, reaching cooperative "program equilibria" inaccessible in traditional settings [5]
- Coasean transaction costs are about to collapse, changing our society [6]
There is an elephant here that we're all touching. Our
@ARIA_research initial £50m r&d programme Scaling Trust is our unifying thesis, on the trust infrastructure needed for an agentic world and how to steer us there.
Before we set out on our journey over the next ~3ish years, we're hiring an additional individual to complete our team. Your role will essentially be one of Technical Director, steering our efforts technically and co-owning our research and engineering agenda. You will be doing incredibly meaningful work, in a highly interdisciplinary environment, and at the cutting edge of a technology that is shaping up to be the most defining of our century, if not of humanity.
We are building for the highest possible impact. After all, this is what
@ARIA_research is about, moonshot r&d projects that change the world. We want to build technology as impactful as the invention of the internet once was in another r&d programme at DARPA, to start new academic fields and academic lineages for the next century, and to catalyze lasting positive change for the world.
For the right person, this is a bat signal 🦇, few places will offer you as much leverage to effect positive change on the world, intellectual stimulation, and fun.
Join us! We want to onboard someone asap as we build out our initial portfolio, and are willing to move fast. Apply here:
aria.pinpointhq.com/en/posti…
Any questions on the role, please shoot me a DM or reply in comment here!
---
[1] Distributional AGI Safety
@weballergy @sebkrier @FranklinMatija et. al --
arxiv.org/abs/2512.16856
[2] Agents of Chaos
@NatalieShapira et. al —
arxiv.org/abs/2602.20021
[3] Some Simple Economics of AGI
@ccatalini et. al —
arxiv.org/abs/2602.20946
[4] When AI Writes the World's Software, Who Verifies It?
@Leonard41111588 —
leodemoura.github.io/blog/20…
[5] Evaluating LLMs in Open-Source Games
@SwadeshSistla et. al —
arxiv.org/abs/2512.00371
[6] Coasean Bargaining at Scale
@sebkrier —
blog.cosmos-institute.org/p/…