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

 (mathstodon.xyz)

3 points | by olalonde  8 hours ago

No comments yet.