enligt definitionen av AI i denna artikel/studie kan upptäckten av STARK-kurvorna mnt4/mnt6 betraktas som AI
427