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

[lukeprog]

I believe the correct term is “ass-pull number.” :)