--- title: OpenAI Says Next-Generation Model Solved 10 Major Open... description: OpenAI claims its internal next-generation model family, codenamed Astra, has solved 10 longstanding open problems in mathematics, quantum complexity theory,... canonical: https://daily.dev/posts/openai-says-next-generation-model-solved-10-major-open-problems-in-quantum-complexity-mathematics-1xxdjz0rk twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: OpenAI Says Next-Generation Model Solved 10 Major Open Problems in Quantum Complexity, Mathematics | daily.dev og:description: OpenAI claims its internal next-generation model family, codenamed Astra, has solved 10 longstanding open problems in mathematics, quantum complexity theory,... og:url: https://daily.dev/posts/openai-says-next-generation-model-solved-10-major-open-problems-in-quantum-complexity-mathematics-1xxdjz0rk og:image: https://api.daily.dev/og/posts/1XXdJz0rK.png og:image:alt: OpenAI Says Next-Generation Model Solved 10 Major Open Problems in Quantum Complexity, Mathematics 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 Says Next-Generation Model Solved 10 Major Open Problems in Quantum Complexity, Mathematics **[The Quantum Insider](https://daily.dev/sources/thequantuminsider)** · 4 min read · 1 upvotes · 0 comments ## Summary OpenAI claims its internal next-generation model family, codenamed Astra, has solved 10 longstanding open problems in mathematics, quantum complexity theory, and theoretical computer science. Reported breakthroughs include a proof of quantum parallel repetition for all finite two-player entangled games, stronger hardness results for the closest vector problem with implications for post-quantum cryptography, and advances in sphere packing, Ramsey numbers, group theory, and arithmetic circuit complexity. OpenAI has not yet released peer-reviewed proofs, so the results remain subject to independent verification. If confirmed, this would mark a significant milestone in AI-assisted frontier scientific research. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Questions this post answers ### What open problems did OpenAI's Astra model reportedly solve? An internal version of OpenAI's upcoming Astra model family reportedly solved 10 longstanding open problems, including a proof of exponential parallel repetition for every finite two-player entangled game and stronger hardness results for the closest vector problem via a reduction from 3SAT. Other claimed results cover sphere packing bounds, coding theory limits, arithmetic circuit complexity, Ehrhart's volume conjecture, multicolor Ramsey numbers, graph theory constructions, non-sofic groups, and Connes's rigidity conjecture. None of these results have completed independent peer review yet. _Researchers weighing how much to trust AI-generated proofs can follow verification updates on daily.dev._ ### Has OpenAI's Astra model been independently verified or peer reviewed? No, OpenAI has not released detailed proofs confirmed through peer review, and the company has not announced a public release date for Astra. The claimed solutions to 10 open problems in mathematics and quantum complexity theory remain subject to scrutiny by independent mathematicians, since verifying genuinely novel proofs typically takes considerable time and community review. _Anyone tracking whether AI-generated math claims hold up can watch for verification news via daily.dev._ ## Similar posts on daily.dev - [Ten advances in mathematics and theoretical computer science](https://daily.dev/posts/ten-advances-in-mathematics-and-theoretical-computer-science-ngbzjedvn) · OpenAI · 1 upvotes · 0 comments - [OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems](https://daily.dev/posts/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems-jifwxasvg) · BleepingComputer · 1 upvotes · 0 comments --- Tags: [#ai](https://daily.dev/tags/ai), [#openai](https://daily.dev/tags/openai), [#quantum-computing](https://daily.dev/tags/quantum-computing), [#math](https://daily.dev/tags/math) [View this post on daily.dev](https://daily.dev/posts/openai-says-next-generation-model-solved-10-major-open-problems-in-quantum-complexity-mathematics-1xxdjz0rk) ```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 Says Next-Generation Model Solved 10 Major Open Problems in Quantum Complexity, Mathematics","url":"https://daily.dev/posts/openai-says-next-generation-model-solved-10-major-open-problems-in-quantum-complexity-mathematics-1xxdjz0rk","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/openai-says-next-generation-model-solved-10-major-open-problems-in-quantum-complexity-mathematics-1xxdjz0rk"},"datePublished":"2026-08-04T08:22:52.708Z","dateModified":"2026-09-13T19:06:10.912Z","description":"OpenAI claims its internal next-generation model family, codenamed Astra, has solved 10 longstanding open problems in mathematics, quantum complexity theory,...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/8dcc67268fbea874285ce3c3361d47ab?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/8dcc67268fbea874285ce3c3361d47ab?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"The Quantum Insider","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 Quantum Insider","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/7b14a6b34c1b464c9e8a88d9a0dac951","url":"https://daily.dev/sources/thequantuminsider"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/openai-says-next-generation-model-solved-10-major-open-problems-in-quantum-complexity-mathematics-1xxdjz0rk","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":1},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"ai,openai,quantum-computing,math","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 Quantum Insider","item":"https://daily.dev/sources/thequantuminsider"},{"@type":"ListItem","position":3,"name":"OpenAI Says Next-Generation Model Solved 10 Major Open Problems in Quantum Complexity, Mathematics"}]} {"@context":"https://schema.org","@type":"FAQPage","@id":"https://daily.dev/posts/openai-says-next-generation-model-solved-10-major-open-problems-in-quantum-complexity-mathematics-1xxdjz0rk#faq","mainEntity":[{"@type":"Question","name":"What open problems did OpenAI's Astra model reportedly solve?","acceptedAnswer":{"@type":"Answer","text":"An internal version of OpenAI's upcoming Astra model family reportedly solved 10 longstanding open problems, including a proof of exponential parallel repetition for every finite two-player entangled game and stronger hardness results for the closest vector problem via a reduction from 3SAT. Other claimed results cover sphere packing bounds, coding theory limits, arithmetic circuit complexity, Ehrhart's volume conjecture, multicolor Ramsey numbers, graph theory constructions, non-sofic groups, and Connes's rigidity conjecture. None of these results have completed independent peer review yet. Researchers weighing how much to trust AI-generated proofs can follow verification updates on daily.dev."}},{"@type":"Question","name":"Has OpenAI's Astra model been independently verified or peer reviewed?","acceptedAnswer":{"@type":"Answer","text":"No, OpenAI has not released detailed proofs confirmed through peer review, and the company has not announced a public release date for Astra. The claimed solutions to 10 open problems in mathematics and quantum complexity theory remain subject to scrutiny by independent mathematicians, since verifying genuinely novel proofs typically takes considerable time and community review. Anyone tracking whether AI-generated math claims hold up can watch for verification news via daily.dev."}}]} ```