pela definição de IA neste artigo/estudo, a descoberta das curvas STARK mnt4/mnt6 pode ser considerada IA
424