OpenAI previews Astra model family with scientific reasoning capabilities

OpenAI's internal Astra model has solved 10 major open problems in fields including mathematics and quantum complexity. The company is releasing these proofs alongside chain-of-thought walkthroughs and lean certificates.
15 sources
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra,...x.com
OpenAI CEO Sam Altman Discusses Next AI Model With US Lawmakersbloomberg.com
Sam Altman to meet with Trump administration, Senators this week. Here's what he plans to saycnbc.com
Ten advances in mathematics and theoretical computer science (OpenAI model Astra)openai.com
Sam Altman to brief Trump admin next week on GPT-6 and its capabilities/potential job impact, according to Bloombergreddit.com
OpenAI by email
Get an email when OpenAI has news
No news that day, no email.
More stories today
- Genspark open sources GenOffice AI suite
- Terminal app for Claude Code built with Claude
- AI helps Grab ship products 3x faster, CFO says
- LangGraph Studio demo teases unnamed capability, tutorial floated
- Amp with Orbs feels significantly above current cloud agents