par la définition de l'IA dans cet article/étude, la découverte des courbes STARK mnt4/mnt6 pourrait être considérée comme de l'IA
429