We are going to need a different AGI benchmark. Where is the goalpost moving next？