Some OpenAI math discoveries are ‘jewels,’ if verified. But mathematicians are wary of ‘slop.’

OpenAI says it solved more than 370 math problems. Mathematicians say there could be breakthroughs in the bunch, if verified ...