“Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)

We couldn't generate a summary for this story. Meanwhile, read the discussion on HN.