volgens de definitie van AI in dit artikel/studie, zou de ontdekking van de STARK-curves mnt4/mnt6 als AI kunnen worden beschouwd.
437