I'm seeing a lot of this and it makes no sense, the internal model solved these but give one of the papers to Astra and Opus and I'm sure it will have no problem recreating it.
I don't think they mean this from a "verify this paper" perspective.
How valuable it would actually be to share the model with other mathematicians vs just have OpenAI's mathematicians churn out and clean up results isn't very clear to me though as they don't say how much effort it's requiring from their team to prompt and clean these up vs how much it's bound by "time to run the model" or similar.
