Mathematicians utilized Harmonic's Aristotle artificial intelligence model to solve unsolved Erdős problems