Developers weigh in on OpenAI's GPT-5.6 Sol, from database audits to Erdős problem solving, as it takes on Anthropic's Claude Opus 5.