Super HN
New
Show
AI just proved Erdos Problem #124
(twitter.com)
3 points by nl 1 hour ago