July 12, 2026 GPT-5.6 Sol Proves a 50-Year-Old Math Conjecture — in Under an Hour OpenAI GPT-5.6 Research Mathematics Agents
May 26, 2026 OpenAI Model Disproves 80-Year-Old Math Conjecture OpenAI Research Mathematics Reasoning AI Research