Rumors suggest that hundreds of new mathematical proofs published by OpenAI were solved by a new, unreleased model using a single prompt