AI tools are becoming capable enough to pick off open Erdos problem

(mathstodon.xyz) by olalonde | Jan 1, 2026 | 0 comments on HN