secondo la definizione di AI in questo articolo/studio, la scoperta delle curve STARK mnt4/mnt6 potrebbe essere considerata AI
415