Erdos problems solved more or less autonomously by AI

(mathstodon.xyz) by gmays | Jan 3, 2026 | 0 comments on HN