@rohanpaul_ai: Sam Altman just said an internal post-Astra model can solve things the world's best mathematicians cannot. in his conve…
Summary
Sam Altman stated in a conversation with Mark Benioff that an internal post-Astra AI model can solve problems beyond the capabilities of the world's best mathematicians, following advancements from GPT 5.5 to 5.6 to Astra.
View Cached Full Text
Cached at: 09/17/26, 12:25 PM
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)
Similar Articles
Sam Altman: GPT 5.5 an average math professor. 5.6 top one or two percentile. Astra a little bit better. Internal model can do things that the best mathematicians in the world cannot.
At Dreamforce 2026, Sam Altman compared future AI models, stating GPT 5.5 matches an average math professor, GPT 5.6 is top percentile, and an internal model surpasses the best human mathematicians.
@polynoamial: An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum …
OpenAI's internal version of its next major model family Astra reportedly solved ten major open problems in mathematics and theoretical computer science, marking a major step for scientific reasoning.
@sama: a general-purpose model solved a major open problem in mathematics. we'll be saying this a lot over the coming years, b…
Sam Altman announces that a general-purpose AI model has solved a major open problem in mathematics, calling it a big milestone and expressing mixed feelings about AI's expanding capabilities.
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems (34 minute read)
OpenAI's unreleased model Astra reportedly solved ten major open mathematics problems, with results formalized in Lean certificates, signaling a major leap in AI mathematical reasoning.
@typesfast: So what are we going to get?
Noam Brown claims OpenAI's internal Astra model solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science, potentially marking a major step for scientific reasoning.