“Erdos problem #728 was solved more or less autonomously by AI”mathstodon.xyz
409 points by cod1r 10 hours ago | 232 comments