Hacker News new | ask | show | jobs
Formalization of Erdős Problems (xenaproject.wordpress.com)
7 points by kevinbuzzard 191 days ago
1 comments
kevinbuzzard 191 days ago
A discussion by Boris Alexeev on recent events in AI + mathematics
link