ASI & post-AGI futures