Update: Mehtaab and I pushed further on this. Using thousands of GPT5 queries, we found solutions to 10 Erdős problems that were listed as open: 223, 339, 494, 515, 621, 822, 883 (part 2/2), 903, 1043, 1079.
Additionally for 11 other problems, GPT5 found significant partial progress that we added to the official website: 32, 167, 188, 750, 788, 811, 827, 829, 1017, 1011, 1041. For 827, Erdős's original paper actually contained an error, and the work of Martínez and Roldán-Pensado explains this and fixes the argument.
The future of scientific research is going to be fun.
gpt5-pro is superhuman at literature search:
it just solved Erdos Problem #339 (listed as open in the official database
erdosproblems.com/forum/thre…) by realizing that it had actually been solved 20 years ago
h/t
@MarkSellke for pointing this out to me!