Anton Rodenhauser answers Do EA folks want AGI at all?