This is a special post for quick takes by Geoffrey Irving. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.
We’re changing our name: Sequent is now Resolution.
Two weeks ago, we launched Sequent, a new alignment research organization working on a portfolio of ASI safety bets. Following our announcement, we discovered ⊢ Sequent, a formal verification startup launched only about a month earlier! And by a friend and former colleague, no less! After discussing it with the other ⊢ Sequent, we decided that the best course of action was to change our name. This brings us to Resolution (resolution.org).
Go check out Sequent! They're going to do exciting things with formal verification too. And go check our new website! We've just posted new positions and opened our first hiring round.
http://resolution.org/careers
Of course, no name would be complete without fun stories! We have two:
1. Resolution as in the resolution algorithm in first-order logic, one of the foundational methods of generating proofs.
2. Resolution as in resolution of singularities: any singular variety can be reparameterized into a nonsingular form for easier analysis. Which is also a metaphor for the AI Singularity: let's try to the untangle that limit into forms that can be analyzed more rigorously.