4 ms·AI uncovers solutions to Erdős problems, moving closer to transforming math2 points by beardyw 9mo ago