8 ms·

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

by ogogmad 6mo ago

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