“In November, Harmonic's AI model, Aristotle, assisted in or fully solved 11 previously unsolved "Erdős problems."”