Erdos Problem #728 Solved (Mostly) Autonomously by AI

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