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