“Erdos problem #728 was solved more or less autonomously by AI”mathstodon.xyz619 pointscod1r5 months ago