Nach der Definition von AI in diesem Artikel/Studie könnte die Entdeckung der STARK-Kurven mnt4/mnt6 als AI betrachtet werden.
418