wedrifid comments on How does MIRI Know it Has a Medium Probability of Success?

[wedrifid]

Success is defined most obviously as actually constructing an FAI, but of course if our work were picked up elsewhere and reused after MIRI itself died as an organization for whatever reason,

(Or if it were picked up elsewhere and MIRI is merely overtaken. Dying isn’t necessary.)