Super HN
New
Show
AI solves Erdos problem #728 (Terence Tao mathstodon post)
(mathstodon.xyz)
5 points by cod1r 40 minutes ago