The OpenAI model that disproved the conjecture was a general-purpose reasoning model without math-specific fine-tuning or targeted guidance.