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