Does anybody know any biographical information about М. М. М. Артюхов (e.g., first name, affiliation)?
It seems he discovered a criterion for primality equivalent to the Solovay–Strassen one in 1966, in this paper: Некоторые критерии простоты чисел, связанные с малой теоремой Ферма. (Keith Conrad discusses the story a little bit here: The Miller–Rabin test.)
I'm just curious. :-)