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