“Erdos problem #728 was solved more or less autonomously by AI”

“Erdos problem #728 was solved more or less autonomously by AI”
452 by cod1r | 254 comments on Hacker News.