Formalization of Erdős Problems xenaproject.wordpress.com 7 points by kevinbuzzard 10 months ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread kevinbuzzardOP 10 months ago A discussion by Boris Alexeev on recent events in AI + mathematics