Formalization of Erdős Problems

xenaproject.wordpress.com

7 points by kevinbuzzard 21 days ago · 1 comment

Reader

kevinbuzzardOP 21 days ago

A discussion by Boris Alexeev on recent events in AI + mathematics