Hacker Next
“Erdos problem #728 was solved more or less autonomously by AI”mathstodon.xyz
591 points by cod1r 1 days ago | 335 comments