OpenAI model disproved Erdos conjecture