Orthogonal

Can a community-organized research program discharge the same formal walls as MIRI and CHAI—embedded agency, corrigibility, and related obstructions?

Introduction

Orthogonal is an agent-foundations research community advancing formal alignment work through Discord and papers. It asks whether community-organized research can discharge the same formal walls as established agent-foundations lineages—embedded agency, corrigibility, and related obstructions. Active work engages Embedded Agency and Corrigibility as typed targets.

Who carries it: Orthogonal (Tamsin Leake)

What they aim to do. Advance formal agent-foundations alignment research.

The hard question. Can a community-organized research program discharge the same formal walls as MIRI and CHAI—embedded agency, corrigibility, and related obstructions?

What they produce. An agent-foundations research community (Discord plus papers) advancing formal alignment work.

Key terms. Key terms include agent foundations, formal alignment, and embedded agents.

Related field cruxes. Embedded Agency; Corrigibility

What they contribute. An active agent-foundations research community working on Embedded Agency and Corrigibility.

How this project treats it. A typed bridge stack and measurement program distinct from narrative community alignment talk.

Map clustering

AISafety.com map listings that roll up to this agenda:

See the coverage matrix for evidence tagged to this agenda, and the glossary for shared terms.