The name references the resolution rule of inference.
We’re changing our name: Sequent is now Resolution.
🧵
We are starting a new, nonprofit alignment organization, ⊢ Sequent Research, bringing together researchers previously on UK AISI’s Alignment Team, Timaeus, and elsewhere to research how to align superintelligence. We are hiring! 🧵
No Digg Deeper questions have been answered for this story yet.
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.
https://en.wikipedia.org/wiki/Resolution_(logic)
Go check out @sequent_inc! 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
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_org.
Following our announcement, we discovered @sequent_inc, a formal verification startup launched only about a month earlier! And by a friend and former colleague, no less!
https://sequent.inc
Go check out @sequent_inc! 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
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_org.
Two weeks ago, we launched Sequent, a new alignment research organization working on a portfolio of ASI safety bets.
http://resolution.org/announcements/rebrand
We’re changing our name: Sequent is now Resolution.
🧵
Following our announcement, we discovered @sequent_inc, a formal verification startup launched only about a month earlier! And by a friend and former colleague, no less!
https://sequent.inc
Two weeks ago, we launched Sequent, a new alignment research organization working on a portfolio of ASI safety bets.
http://resolution.org/announcements/rebrand
2. Resolution as in resolution of singularities: any singular variety can be reparameterized into a nonsingular form for easier analysis. And, metaphorically, that for the AI singularity: unpick that limit into a form that can be rigorously analyzed.
https://en.wikipedia.org/wiki/Resolution_of_singularities
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.
https://en.wikipedia.org/wiki/Resolution_(logic)
@gleech A metaphor for how ASI alignment could go!
search (for a further cool reason for the name "resolution") terminates without solution
