Top New Best Ask Show Jobs

Formalization of Erdős Problems | Hacker News Reader

Formalization of Erdős Problems

xenaproject.wordpress.com

7 points·kevinbuzzard··1 comment

Open articleView on HN

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

Reply on news.ycombinator.com