We're changing our name. Sequent is now Resolution.

Two weeks ago, we launched as Sequent, a new alignment research organization working on a portfolio of AI safety bets. Our founding announcement describes what we're building and why.

Following that announcement, we discovered Sequent, a formal verification startup that had launched only about a month earlier — and by a former friend and colleague, no less.

After discussing it with the other Sequent, we decided that 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. And if you're interested in joining us, we've just posted new positions and opened our first hiring round: see our open roles.