Read news on erdos with our app.
Read more in the app
Erdos 281 solved with ChatGPT 5.2 Pro
“Erdos problem #728 was solved more or less autonomously by AI”
Terence Tao: At the Erdos problem website, AI assistance now becoming routine
Show HN: Erdos – open-source, AI data science IDE