Pinned
12 Erdos Problems I claimed with AI.
They still need to be verified properly for the final score, though most look fine.
Here's the full summary of my AI+math marathon:
12 Solution Claims: #522, #603, #610, #856, #888, #896, #953, #956, #1092, #1133, #1151, #1190
4
I've just finished my Erdos AI grind:
500+ problems, 2 weeks, around 7 solution claims
I went through all unsolved problems with GPT-5.4 Pro first and then GPT-5.5 Pro when it came out, trying to get some partial new results for each problem.
Initial cleaning was done
