AI just proved Erdos Problem #124

(twitter.com)

54 points | by nl 18 hours ago ago

No comments yet.