“Erdos problem #728 was solved more or less autonomously by AI”

📅 2026-01-09    ⚓ Hacker News    🌐 Source    🖼️ Load Image