--- title: OpenAI’s Astra just proved 10 long-standing math and... description: OpenAI announced that an internal version of its next frontier model, Astra, produced machine-verified proofs for 10 long-standing problems in mathematics and... canonical: https://daily.dev/posts/openai-s-astra-just-proved-10-long-standing-math-and-science-theorems-the-tokens-cost-2-000--5larwynda twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: OpenAI’s Astra just proved 10 long-standing math and science theorems. The tokens cost $2,000. | daily.dev og:description: OpenAI announced that an internal version of its next frontier model, Astra, produced machine-verified proofs for 10 long-standing problems in mathematics and... og:url: https://daily.dev/posts/openai-s-astra-just-proved-10-long-standing-math-and-science-theorems-the-tokens-cost-2-000--5larwynda og:image: https://api.daily.dev/og/posts/5LArwYnDa.png og:image:alt: OpenAI’s Astra just proved 10 long-standing math and science theorems. The tokens cost $2,000. 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’s Astra just proved 10 long-standing math and science theorems. The tokens cost $2,000. **[The New Stack](https://daily.dev/sources/newstack)** · 4 min read · 0 upvotes · 0 comments ## Summary OpenAI announced that an internal version of its next frontier model, Astra, produced machine-verified proofs for 10 long-standing problems in mathematics and theoretical computer science. The compute cost was estimated at roughly $2,000 in GPT-5.6 Sol API tokens. The key implication is that frontier AI reasoning can now be framed as a budgetable inference expense — similar to renting cloud compute — potentially opening advanced research capabilities to smaller teams and labs via API access rather than requiring ownership of expensive infrastructure. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [GPT-6 Astra Is Here. Is AGI Actually Any Closer?](https://daily.dev/posts/gpt-6-astra-is-here-is-agi-actually-any-closer--nhqbauuhl) · Medium · 13 upvotes · 5 comments --- Tags: [#ai](https://daily.dev/tags/ai), [#llm](https://daily.dev/tags/llm), [#openai](https://daily.dev/tags/openai) [View this post on daily.dev](https://daily.dev/posts/openai-s-astra-just-proved-10-long-standing-math-and-science-theorems-the-tokens-cost-2-000--5larwynda) ```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’s Astra just proved 10 long-standing math and science theorems. The tokens cost $2,000.","url":"https://daily.dev/posts/openai-s-astra-just-proved-10-long-standing-math-and-science-theorems-the-tokens-cost-2-000--5larwynda","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/openai-s-astra-just-proved-10-long-standing-math-and-science-theorems-the-tokens-cost-2-000--5larwynda"},"datePublished":"2026-08-04T18:03:33.586Z","dateModified":"2026-08-10T20:14:26.546Z","description":"OpenAI announced that an internal version of its next frontier model, Astra, produced machine-verified proofs for 10 long-standing problems in mathematics and...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/512d38fe694c1fcd79af9299029ccb4b?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/512d38fe694c1fcd79af9299029ccb4b?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"The New Stack","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":"The New Stack","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/newstack","url":"https://daily.dev/sources/newstack"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/openai-s-astra-just-proved-10-long-standing-math-and-science-theorems-the-tokens-cost-2-000--5larwynda","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"ai,llm,openai","timeRequired":"PT4M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"The New Stack","item":"https://daily.dev/sources/newstack"},{"@type":"ListItem","position":3,"name":"OpenAI’s Astra just proved 10 long-standing math and science theorems. The tokens cost $2,000."}]} ```