There was no need for an AI. There were multiple mathematicians, most prominent of them being Sergey Shpilkin, that highlighted multiple significant statistical abnormalities that strongly suggest (read 'strongly' as 'most definitely') Russian elections were rigged partially or in full as far as 2007.
It's not like Navalny and others gathered almost a million of protesters on the streets of Moscow in autumn of 2011 over nothing.
(Look up "Sergey Shpilkin russian elections" if you want to know more)