según la definición de AI en este artículo/estudio, el descubrimiento de las curvas STARK mnt4/mnt6 podría considerarse AI
422