Yeah, when Thomas Larsen mentioned that to me (presumably from a shared source that you’re getting your info from), I mentioned it to MIRI, and they went and asked for feedback and ended up getting the above-mentioned-advice which seemed to indicate it has some costs, but wasn’t like an obviously wrong call.
What I hear is that the natsec people judge people for using “treaty” in cases like this. Maybe MIRI looked into it and has better info than me; idk.
Yeah, when Thomas Larsen mentioned that to me (presumably from a shared source that you’re getting your info from), I mentioned it to MIRI, and they went and asked for feedback and ended up getting the above-mentioned-advice which seemed to indicate it has some costs, but wasn’t like an obviously wrong call.