AI solves Erdos problem #728 (Terence Tao mathstodon post)

(mathstodon.xyz) by cod1r | Jan 9, 2026 | 0 comments on HN