M mathstodon.xyz “Erdos problem #728 was solved more or less autonomously by AI” 619 points cod1r 9 months ago 363 comments
