OpenAI's GPT-6 Astra served in pro reasoning mode for the hardest problems.
Add a second model to compare.