Toward a Formal, Operationalizable Definition of Artificial General Intelligence (AGI) | Synapse