“[G]etting AGI right is the most important project from an infinite-ethics standpoint, but there may be reasons that better understanding the infinity problem in the short term would make a difference. For example, the AI’s conception of infinity might be constrained by its design – e.g., AIXI assigns zero probability to uncomputable universes.”