A month after its Millennium Prize solution, OpenAI published findings on more than 300 problems—and tried to win back the world of math