Formalization of Erdős Problemsxenaproject.wordpress.com 7 pointskevinbuzzard9 months ago1 commentSaveHideCopy link On HNComments−kevinbuzzardOP9moA discussion by Boris Alexeev on recent events in AI + mathematics
Comments
A discussion by Boris Alexeev on recent events in AI + mathematics