@jmw150 look I don't want comment too much on the size of your coq, let's just say it's sufficiently impressive, but last time my pals Godel and Turing checked the god machine was still theoretically impossible. I get it as a mathematician you hate them, but at least as a philosopher you have to admit it would be pointless for it to exist. You should not believe in something pointless that does not even exist. It's not just some ephemeral sense of valuing each other, I literally listed several things that I think are important, and make people objectively superior to machines.
At all times through your intuition try to understand your peers, through your ingenuity help them, be accountable for what you do, and when things go south be empathetic. Then you will win. Treat people like cattle, product or numbers? Well obviosly machines can do that too.