Formalization of Erdős Problems (xenaproject.wordpress.com)

7 points by kevinbuzzard 7mo ago ↗ HN

1 comment

[ 30.8 ms ] story [ 285 ms ] thread

kevinbuzzard 7mo ago ↗

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