> This was solved by GPT-5.4 Pro (prompted by Price)
See the discussion here: https://www.erdosproblems.com/forum/thread/1196