Hi Cat,
This is an age old debate and yes, it is still in question. The problem is, there has been no formal study that I am aware of that provides a conclusive answer as to their requirements. We just don't know at this point whether it is formic acid or other compounds in ants that make up the special needs of horned lizards.
It is known however that they appear to do better with ants in their diet. I have talked to several folks who have managed to keep a horned lizard alive for two or three years on an antless diet, but they never had breeding success which to me is an indicator of good health.
It is possible for you to live on Fritos, Twinkies and beer but it's probably not in your best interest. Not to be too flippant. I'm just trying to illustrate a point.
I think Lester said it best in this post:
It is likely not just a question of acid. There are other major components in ants, along with whatever typical nutrients you might find in any insect. This little blurb describes some of those components.
"The mammalian toxicity of the potently algogenic venom of the ant Pogonomyrmex badius is greater than that reported for any other insect venom. This enzyme-rich venom contains high concentrations of phospholipase A2 and B, hyaluronidase, acid phosphatase, lipase, and esterases. This hemolytic secretion from the poison gland produces unusual symptoms in mammals and appears to have been evolved as a deterrent for vertebrate predators."
Other considerations in play are the blood factors in horned lizards that actually detoxify ant venom. It is reasonable to think that this factor may play a role in extracting the nutrients from the ants.
Here is the link for the quote below:
"Discussion
Comparing LD50 values of a test organism (in this case, mice) can be a useful tool to objectively assess the toxicity of insect venoms; however, this method has its limitations. The values obtained in mice reveal a relative toxicity scale for different toxins in mice only. They do not reflect how the same toxins would rank for another species (such as humans). For example, the LD50 value of P. maricopa venom against a lizard, Phrynosoma cornutum, which is a predator of P. maricopa, was much higher than in mice (162 mg/kg). When one other lizard, Sceloporus jarrovii, was tested, the venom had an LD50 value of 28 mg/kg. These results suggest that P. cornutum has evolved resistance to the harvester ant venoms and can exploit the ants as a food resource (Schmidt et al. 1989). In another species of harvester ant, P. badius, there were high levels of an enzyme, phospholipase A2, which is also present in honey bee and wasp venoms (Schmidt & Blum 1978a). Although cross-reactivity to honey bee and wasp venoms may be involved in the response of humans to Pogonomyrmex envenomation, in those cases that have been studied cross-reactions to vespid and formicid venoms have not been found (Schmidt 1986b). Interestingly, the venom of P. badius is not particularly lethal against larval insects (Schmidt & Blum 1978b). Since harvester ants are non-predatory, it suggests that their venom has evolved from being used in prey capture as in other ant species (Schmidt 1986a), to defense against vertebrates; hence their power against humans and other vertebrates. "
It might be a great benefit to horned lizard keepers to have a powder you could put on a cricket to make it chemically resemble an ant, but it may not be as simple as figuring out how much formic acid to use. It would probably take quite a significant study indeed. This is still an unanswered question.
Cheers!
-----
Phrynosoma.Com