3 ms·Formalization of Erdős Problems7 points by kevinbuzzard 10mo agokevinbuzzard 10mo agoA discussion by Boris Alexeev on recent events in AI + mathematics