GPT-5.2 Pro has solved its fourth Erdős problem.

Mathematician Terence Tao described the result as “perhaps the most unambiguous so far” in terms of the uniqueness of the approach.

The author of the solution (if we can even call a human that — given the problem was simply fed into ChatGPT 🤔) claims that no prior solutions existed at all.
That’s not entirely true: forum users point out draft proofs in the literature from 1936 and 1966. However, Tao emphasizes that GPT-5.2’s method is fundamentally different from those earlier attempts.

Now the obvious question remains:
how will GPT-5.2 surprise us once the Erdős problems finally run out? 😏

Forum discussion:
www.erdosproblems.com/forum/thread/281?order=oldest

@science