AI firm Harmonic claims its system Aristotle, aided by GPT-5.2 Pro, solved long-standing problems posed by Paul Erdos. Some ...