OpenAI says its AI produced more than 370 families of mathematical results, raising questions about proof verification, originality and credit for human research.