“Erdos problem #728 was solved more or less autonomously by AI”(mathstodon.xyz)
590 points by cod1r | 334 comments
Terence Tao's Mastodon post reporting that Erdős problem #728 was solved more or less autonomously by AI, and discussing emerging AI-powered capabilities in mathematics.