New best story on Hacker News: “Erdos problem #728 was solved more or less autonomously by AI”

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