根據本文/研究中對AI的定義，STARK曲線mnt4/mnt6的發現可以被視為AI。