He had principals, while OpenAI had agents?

More likely it's because a million dollars one way or the other won't make a difference in the hole they are digging / mountain they are building.

It likely cost them more than a million in compute to solve it…

We know that it did.