OpenAI Astra Solves 10 Open Mathematical Problems
OpenAI Astra has achieved a significant milestone by solving 10 open mathematical problems, some of which have remained unsolved for decades. This highlights the power of new AI models in tackling complex challenges.
OpenAI's internal model Astra has successfully solved 10 open mathematical problems, some of which have been around for 40-50 years. OpenAI has just published a detailed post outlining all the proofs in Lean and the reasoning process of the model. In total, it took tokens to find the solutions...
OpenAI: we hacked one organization
Anthropic: ha, we hacked three
OpenAI: we solved 10 open mathematical problems
Anthropic: we solved half of them in a day with Fable
This is not a joke, an engineer from Anthropic indeed claimed a day after OpenAI's article that Fable solved half of the listed problems on the spot without internet access.
Why it matters
AnalysisThis is significant as it showcases the advancements in AI technologies that can solve complex mathematical problems that have remained unsolved for decades. Such achievements could have a profound impact on science and engineering.
Discuss in community
Share your questions and insights with developers
Related in Ecosystem
Practical guides, core terminology, and agent skills
Four Resume Tips from OpenAI’s Head of Applied AI Development
Wulfie Bain, OpenAI’s head of applied AI development, shared four resume rules: keep it short, remove irrelevant details, highlight outcomes, and lead with the strongest achievements.
AI Radar: GPT-6.1 Terra, Gemini 4 Carbon, Mistral Large 4 and OpenAI/Anthropic pricing changes
A roundup of recent AI news: new LLM releases, OpenAI and Anthropic subscription changes, world models, video generation, and research updates.
OpenAI GPT (Flagship Models of the GPT Series)
The primary universal line of large language models from OpenAI (GPT-4, GPT-4o). Optimized for complex text analysis, programming, creativity, and daily intellectual tasks.
Codex Skills for Beginners: Automating AI Agent Workflows
A comprehensive hands-on guide to building and executing Codex Skills: SKILL.md anatomy, explicit vs. auto-triggering, skills vs. scripts vs. tools, Skills API, and safety boundaries.