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

3 pointsposted 8 hours ago
by olalonde
(mathstodon.xyz)

No comments yet