馬伯庸《長安最長的壹天》中的“蜉蝣”從何而來？

蜉蝣:大螞蟻。蜉蝣屬於壹種比較大的螞蟻，它喜歡生活在潮濕溫暖的土壤裏。有壹定毒性。螞蟻屬於膜翅目，蟻科，是許多螞蟻的總稱。世界上有記載的有4600多種。幾乎都是真實的社會生活。這是壹種完全變形的陸生昆蟲。