AI tools are becoming capable enough to pick off open Erdos problemmathstodon.xyz4 points·olalonde··0 commentsOpen articleSaveView on HN