OpenAI Erdos conjecture