AI tools are becoming capable enough to pick off open Erdos problemmathstodon.xyz4 pointsolalonde6 months ago