> And I think OpenAI has solved more open math/ stats/ CS problems.

Still surprises me that OpenAI seems to lead in this one weird niche, I wonder what causes GPT to be able to routinely pull this off, there was one instance where some random 18 year old broke some mathematical question without knowing more than high school math if I remember correctly, all because of GPT.