“Erdos problem #728 was solved more or less autonomously by AI” | Dark Hacker News