The HAI is also funded with money from OpenAI, Antropic, and other big tech corporations. I don't know what you are trying to prove.