--- title: Ten advances in mathematics and theoretical computer science description: OpenAI's internal version of Astra, its next major model, has produced results on ten long-standing open problems in mathematics and theoretical computer... canonical: https://daily.dev/posts/fntrb8mc0 twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: Ten advances in mathematics and theoretical computer science | daily.dev og:description: OpenAI's internal version of Astra, its next major model, has produced results on ten long-standing open problems in mathematics and theoretical computer... og:url: https://daily.dev/posts/fntrb8mc0 og:image: https://api.daily.dev/og/posts/FnTRB8MC0.png og:image:alt: Post cover image 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. # Ten advances in mathematics and theoretical computer science **[Build With GenAI](https://daily.dev/sources/buildwithgenai)** · [@minhchienvu](https://daily.dev/minhchienvu) · 4 upvotes · 1 comments ## Summary OpenAI's internal version of Astra, its next major model, has produced results on ten long-standing open problems in mathematics and theoretical computer science. The problems span high-dimensional geometry, coding theory, arithmetic circuit complexity, group theory, operator algebras, quantum complexity, lattice cryptography, and extremal combinatorics — many unsolved for decades. Solutions cost roughly $2,000 in compute at API rates. Each result was formalized in Lean, and OpenAI is releasing the proofs alongside narrations of the model's reasoning process. The announcement raises questions about AI attribution in academic research, with OpenAI acknowledging the AI generated the mathematical arguments while humans prepared manuscripts and verified correctness. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Community discussion Top comments from developers on daily.dev. **@minhchienvu** · 1 upvotes > Worth to take a look ## Similar posts on daily.dev - [Governing Security in the Age of Infinite Signal](https://daily.dev/posts/governing-security-in-the-age-of-infinite-signal-qhihbir44) · Snyk · 0 upvotes · 0 comments - [No one has a good plan for how AI companies should work with the government](https://daily.dev/posts/no-one-has-a-good-plan-for-how-ai-companies-should-work-with-the-government-nkajqoze1) · TechCrunch · 0 upvotes · 1 comments --- Tags: [#ai](https://daily.dev/tags/ai), [#openai](https://daily.dev/tags/openai), [#cryptography](https://daily.dev/tags/cryptography), [#math](https://daily.dev/tags/math) [View this post on daily.dev](https://daily.dev/posts/fntrb8mc0) ```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":"DiscussionForumPosting","mainEntityOfPage":"https://daily.dev/posts/fntrb8mc0","headline":"Ten advances in mathematics and theoretical computer science","text":"Shared: Ten advances in mathematics and theoretical computer science","url":"https://daily.dev/posts/fntrb8mc0","datePublished":"2026-08-11T00:21:58.927Z","dateModified":"2026-08-11T00:21:58.930Z","author":{"@type":"Person","name":"Antonio","url":"https://daily.dev/minhchienvu","image":"https://media.daily.dev/image/upload/s--s0zG1uBh--/f_auto/v1751516662/avatars/avatar_gvAzfyIlv3WZNzsaddV7o?_a=BAMClqZW0","interactionStatistic":{"@type":"InteractionCounter","interactionType":{"@type":"EndorseAction"},"userInteractionCount":2680}},"image":"https://media.daily.dev/image/upload/s--2-1xRawN--/f_auto/v1722860399/public/Placeholder%2011","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":4},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":1}],"sharedContent":{"@type":"WebPage","url":"https://api.daily.dev/r/nGBZjeDvN"},"comment":[{"@type":"Comment","text":"Worth to take a look","datePublished":"2026-08-11T00:24:08.464Z","url":"https://daily.dev/posts/FnTRB8MC0#c-pexDAqCKk","author":{"@type":"Person","name":"Antonio","url":"https://daily.dev/minhchienvu","image":"https://media.daily.dev/image/upload/s--s0zG1uBh--/f_auto/v1751516662/avatars/avatar_gvAzfyIlv3WZNzsaddV7o?_a=BAMClqZW0"},"interactionStatistic":{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":1}}],"isPartOf":{"@type":"WebPage","url":"https://daily.dev/squads/buildwithgenai","name":"Build With GenAI"}} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Build With GenAI","item":"https://daily.dev/squads/buildwithgenai"},{"@type":"ListItem","position":3,"name":"Ten advances in mathematics and theoretical computer science"}]} ```