May 26, 2026 OpenAI Model Disproves 80-Year-Old Math Conjecture OpenAI Research Mathematics Reasoning AI Research