Pinned
GPT-5.4 Pro solves Erdős Problem #1196!
Very pleased with this result; definitely my favourite thus far! This problem has been thought about for some time which makes this reasonably impressive and meaningful (see Lichtman's comments below).
Formalisation is underway!

