根据本文/研究中对AI的定义，STARK曲线mnt4/mnt6的发现可以被视为AI。