AGI Theory Development