(x+y)^2 = x^2+2xy+y^2 因此,AGI 存在