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