Toward a formal characterization of real-world general intelligence