Researchers at OpenAI say one of its unreleased models solved a mathematical puzzle that has eluded mathematicians for generations.