“Dave White, a mathematician, on the OpenAI IMO gold medal”