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

news.ycombinator.com

saved by: 0 people
related read on: “Erdos problem #728 was solved more or less autonomously ... discussion