OpenAI says it solved more than 370 math problems. Mathematicians say there could be breakthroughs in the bunch, if verified — but that’s no easy task with unpolished work.