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