Comment by sothatsit

Both Erdos #728 and #729 were solved with the use of GPT-5.2 Pro. Lesser models have much worse performance on difficult problems like these.