AI GPT-5.4 Pro's approach to an Erdős conjecture has been extended to additional problems and the math community is watching carefully 5 min 508 views