OpenAI says GPT-6.1 Sol and GPT-6 Astra remain better than GPT-6.1 Terra for the most complex coding tasks