OpenAI didn't have to mass publish these solutions. They did it to make themselves look good. They are ostensibly making a tool for people, to better humanity. Instead, they chose hubris and self-interest.

Letting mathemeticians use these tools to reach the same conclusions would have been far less destructive, and potentially, even exciting. Shame on OpenAI.