MIRI is notably absent from this list, and I’d consider them a major actor, but yes, overall it’s encouraging. (My understanding is that they were not invited to be coauthors.)
MIRI is notably absent from this list, and I’d consider them a major actor, but yes, overall it’s encouraging. (My understanding is that they were not invited to be coauthors.)