AGI challenges