A systematic attempt to understand how good GPT-5.2 Pro is at Erdos problems, the hard, generally unsolved math problems much discussed here. The answer is pretty good! But also it is wrong about a third of the time and you wouldn’t know that if you couldn’t check the results.