Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Formalization of Erdős Problems | Better HN
Formalization of Erdős Problems
(opens in new tab)
(xenaproject.wordpress.com)
7 points
kevinbuzzard
3mo ago
1 comments
Share
1 comments
default
newest
oldest
kevinbuzzard
OP
3mo ago
A discussion by Boris Alexeev on recent events in AI + mathematics
j
/
k
navigate · click thread line to collapse
