From what I’ve seen in the last year, MIRI has sort-of backpedaled on the “actually building an AGI/FAI” goal, and pushed forward in their public declarations the “milder” goal of ensuring a positive impact of AGI when it finally gets created by someone.
Are you sure? The linked comment was posted in August of this year. I have seen them push the second goal more strongly recently, but I don’t think the first goal has been rescinded.
From what I’ve seen in the last year, MIRI has sort-of backpedaled on the “actually building an AGI/FAI” goal, and pushed forward in their public declarations the “milder” goal of ensuring a positive impact of AGI when it finally gets created by someone.
This seems consistent with the first sentence in their mission statement:
Are you sure? The linked comment was posted in August of this year. I have seen them push the second goal more strongly recently, but I don’t think the first goal has been rescinded.
It’s more of an impression of mine than an actual statement of theirs.