Name history Resolution Alignment, Inc. was previously named Timaeus Research, Inc., and was briefly announced as Sequent.
- Timaeus was an alignment research organization, incorporated as the nonprofit Timaeus Research, Inc. See timaeus.co.
- In June 2026, Timaeus joined forces with researchers from the UK AISI Alignment Team to operate as one organization. We announced that organization as Sequent. See our founding announcement.
- Later in June 2026, we changed the name to Resolution, for the reasons in this post.
- The legal entity stayed the same through both steps. It was renamed Timaeus Research, Inc. → Resolution Alignment, Inc.
Sequent is now Resolution
We're changing our name: Sequent is now Resolution.
Two weeks ago, we launched as Sequent: the new alignment research organization formed by Timaeus and researchers from the UK AISI Alignment Team, pursuing a portfolio of ASI safety bets. Our founding announcement describes what we're building and why.
After that launch, we discovered sequent.inc, a formal verification startup that had gone public only about a month earlier — and by a friend and former colleague, no less.
After discussing it with the other Sequent, we decided the best course of action was to change our name. That brings us to Resolution.
We're excited for what they're going to do with formal verification — go check out sequent.inc. We've launched a new website, posted new positions, and opened our first hiring round: see our open roles.
Why Resolution?
In first-order logic, resolution is a foundational method for generating proofs — the resolution algorithm.
In algebraic geometry, resolution of singularities is a technique for reparameterizing a singular variety to remove its singularities — a metaphor, perhaps, for the AI singularity.