OpenAI model disproves major Erdős conjecture using general-purpose reasoning system - TrendCloud