zgodnie z definicją AI w tym artykule/badaniu, odkrycie krzywych STARK mnt4/mnt6 można by uznać za AI
432