Proceratium petrosum is an extinct species of formicid in the ant subfamily Proceratiinae known from a fossil found in eastern Asia.

The fossil-bearing rocks preserve possibly Priabonian plants and animals which lived in and around a small lake near a volcano.

In the type description, Dlussky, Rasnitsyn and Perfilieva named the species P. petrosum, with the specific epithet derived the Latinized Greek petros meaning "stone".

P. denticulatum, P. dominicanum, P. gibberum and P. poinari are younger than P. petrosum, being described from the Middle Miocene Dominican amber.

[1] The P. petrosum male is preserved as a dorsal compression showing the upper surface of the head, thorax and abdomen, with fore-wings outspread to the side.