“Harmonic's AI model, Aristotle, solved at least one previously unsolved mathematical problem conjectured by Paul Erdős.”