My Straussian reading of Tyler Cowen is that a “serious” MIRI would be assembling and training a team of hacker-assassins to go after potential UFAIs instead of dinking around with decision theory.
A “serious” MIRI would operate in absolute secrecy, and the “public” MIRI would never even hint at the existence of such an organisation, which would be thoroughly firewalled from it. Done right, MIRI should look exactly the same whether or not the secret one exists.
A “serious” MIRI would operate in absolute secrecy, and the “public” MIRI would never even hint at the existence of such an organisation, which would be thoroughly firewalled from it. Done right, MIRI should look exactly the same whether or not the secret one exists.