Sam Altman just said an internal post-Astra model can solve things the world's best mathematicians cannot.

in his conversation with Mark Benioff (co-founder and CEO of Salesforce)

"GPT 5.5 was maybe as good as like an average math professor. 5.6 was as good as like a maybe top one or two percentile math professor.

Astra was a little bit better than that.

And then this internal model past Astra is one that can do things that the best mathematicians in the world cannot."

---- From "Salesforce" YouTube channel, (full video link in comment)