"AI tends to make interesting things boring"

If a conjecture can be one-shotted by OpenAI Astra, I have a hard time believing it is interesting.