pela definição de AI neste artigo/estudo, a descoberta das curvas STARK mnt4/mnt6 poderia ser considerada AI
431