Is there a genus Archidiskodon Pohlig, 1885, of the family Elephantidae Gray, 1821?

In 1885 Pohlig established the elephant genus Archidiskodon. The earliest representatives of the genus appeared at the beginning of the Pliocene in Africa. Representatives of the genus migrated to Eurasia and North America where they gave rise to several new species. Substantial climatic change in the Holarctic in the Pleistocene led to the emergence of the genera Mammuthus Brookes, 1828, and Parelephas Osborn, 1924, in Eurasia and North America, respectively. Some paleontologists consider Archidiskodon a junior synonym of Mammuthus, others regard it as valid. In an attempt to put an end to the disagreement, I here undertake a detailed comparison of the skeleton and teeth identified as Archidiskodon and Mammuthus. There are 23 different features and only 10 shared ones, which confirms the validity of the genus Archidiskodon.