--- title: OpenAI teases Astra, its next major AI model, after it... description: OpenAI has teased Astra, described as its 'next major model,' after an internal version achieved ten significant advances in mathematics and theoretical... canonical: https://daily.dev/posts/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems-jifwxasvg twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems | daily.dev og:description: OpenAI has teased Astra, described as its 'next major model,' after an internal version achieved ten significant advances in mathematics and theoretical... og:url: https://daily.dev/posts/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems-jifwxasvg og:image: https://api.daily.dev/og/posts/jifwxASVG.png og:image:alt: OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems **[BleepingComputer](https://daily.dev/sources/bleepingcomputer)** · 2 min read · 1 upvotes · 0 comments ## Summary OpenAI has teased Astra, described as its 'next major model,' after an internal version achieved ten significant advances in mathematics and theoretical computer science. The problems addressed include high-dimensional geometry, coding theory, group theory, quantum complexity, and lattice cryptography — many unsolved for over a decade. Astra is designed for long-running, complex tasks and enables AI agents to collaborate on different parts of a larger problem. Proofs were formalized using the Lean verification system. OpenAI has not yet decided whether to release it as GPT-5.7, GPT-6, or under another name, and it may be subject to tiered access policies similar to Anthropic's approach. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: --- Tags: [#llm](https://daily.dev/tags/llm), [#ai-agents](https://daily.dev/tags/ai-agents), [#openai](https://daily.dev/tags/openai) [View this post on daily.dev](https://daily.dev/posts/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems-jifwxasvg) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems","url":"https://daily.dev/posts/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems-jifwxasvg","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems-jifwxasvg"},"datePublished":"2026-08-02T22:34:14.340Z","dateModified":"2026-08-02T22:34:34.584Z","description":"OpenAI has teased Astra, described as its 'next major model,' after an internal version achieved ten significant advances in mathematics and theoretical...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/a0464c8a9aac9a8dee8f64bdb249b2a0?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/a0464c8a9aac9a8dee8f64bdb249b2a0?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"BleepingComputer","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"BleepingComputer","logo":"https://media.daily.dev/image/upload/s--as8nJ3qy--/f_auto,q_auto/v1774959951/logos/bleepingcomputer?_a=BAMAMiWQ0","url":"https://daily.dev/sources/bleepingcomputer"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems-jifwxasvg","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":1},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"llm,ai-agents,openai","timeRequired":"PT2M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"BleepingComputer","item":"https://daily.dev/sources/bleepingcomputer"},{"@type":"ListItem","position":3,"name":"OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems"}]} ```