Home Online Mathematical Communication Windows On Theory Injecting some numbers into the AGI debate