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.
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.
Thank you for the report! We haven’t heard this from anyone else; do you have any other details that might help us diagnose? CC @Jesse Hoogland for visibility. If it seems isolated we may triage and hope it resolves with time.
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.
Glad you got the naming conflict resolved! Unfortunately, when I navigate to resolution.org, I get this maleware and phishing warning.
Thank you for the report! We haven’t heard this from anyone else; do you have any other details that might help us diagnose? CC @Jesse Hoogland for visibility. If it seems isolated we may triage and hope it resolves with time.
Hm, it does appear to only be an issue on AISST Wi-Fi. I will ask for more details about our setup.
An elegant resolution of the name collision!