This guy made a video and talked about "carpenter ants" and he showed:
* Iridomyrmex
* Formica
* Dinomyrmex gigas
Not one of these are carpenter ants... I guess Dinomyrmex gigas kind of counts... since they used to be Camponotus gigas... but COME ON MAN ... everyone knows this stuff.
(No it wasn't AI, it was just human error which I frankly kind of enjoy. Gives me something to talk about...)