Comment by coliveira
18 hours ago
Yes, I suspect this is true. Otherwise it makes no sense they have somehow "found" so many important results while professional mathematicians can't direct the same AI to help them find anything of substance.
Another possibility is that they have internal versions of the model with access to training data that is not provided to external users.
First sentence of the article: We’re releasing a broad range of new mathematical results produced by an internal frontier model.
Ok, so basically using Open AI models for research is a joke, the only thing you're doing is furnishing Open AI with more data that they'll use internally to pretend they found the results.