GPT 5.4 solves Erdos problem on primitive sets by discovering a new method in analytic number theory. Uncovers deep idea with implications throughout the field. Comments by Terry Tao and Jared Duker Lichtman
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