Is it because Gowers is now a part of an OpenAI-sponsored (?) group at IAS? https://openai.com/index/advisory-group-on-mathematics-and-ai/ https://openai.com/i

Is it because Gowers is now a part of an OpenAI-sponsored (?) group at IAS? https://openai.com/index/advisory-group-on-mathematics-and-ai/ https://openai.com/index/advisory-group-on-mathematics-and-a...