Israel’s Classiq (see here previously) has partnered with Hewlett Packard. Classiq’s synthesis engine uses HP’s Cray supercomputer to synthesize Quantum Approximate Optimization Algorithm (QAOA) circuits. And no, I have absolutely no idea why that is important to quantum computing, but it is!