OpenAI vs Google DeepMind in Mathematics: Proofs, People and Compute Kingy AI