Gwern’s take on Bing AI vs OpenAI.