OpenAI’s Unreleased Astra Model Solved 10 Long-Standing Math & Computer Science Problems
Analytics India Magazineen
Analytics India Magazine
AI Global WireThe company also released research papers, Lean-certified proofs, and the model’s reasoning walkthroughs for each result.
This is a short summary published by AI Global Wire. The full article is owned and hosted by Analytics India Magazine — open it there to read it in full.
Read the full story at Analytics India Magazine- OpenAI
- Forskning
Related AI news
- Source: Dario Amodei expressed concern about staff coming to Anthropic for the money rather than the mission, as Anthropic, OpenAI, and others battle for talent (Axios)Techmeme · August 3, 2026
- China’s Alibaba takes another swipe at America’s AI supremacyThe Verge AI · August 3, 2026
- Alibaba’s open-weight Qwen3.8-Max takes on long-horizon AI tasks with 2.4 trillion parametersThe Decoder · August 3, 2026
- Two teams solved the same quantum crypto problem using GPT-5.6 just three hours apartThe Decoder · August 3, 2026
- Artificial Analysis: DeepSeek's V4-Flash costs $0.14/1M input and $0.28/1M output tokens, or $0.03 per test, far below Kimi K3's $0.86 and GPT-5.6 Sol's $1.86 (Eduardo Baptista/Reuters)Techmeme · August 3, 2026
- YouTuber Hank Green faces online criticism after using ChatGPT to help research a script, and says his LLM usage "is not healthy for me or good for the world" (Anthony Ha/TechCrunch)Techmeme · August 3, 2026