AIって数学的にはどのように定義されてるの?