AGI reasoning