Erdos problems solved more or less autonomously by AI

Read more here: External Link