gpt5-pro解决了Erdos问题但发现早有解法。

gpt5-pro在文献搜索方面超人类：它刚刚解决了Erdos问题#339（在官方数据库中列为开放问题，网址https://erdosproblems.com/forum/thread/339），但意识到该问题实际上在20年前就已解决。感谢@MarkSellke向我指出这一点！