{"id":39266,"date":"2026-08-04T12:02:00","date_gmt":"2026-08-04T12:02:00","guid":{"rendered":"https:\/\/www.tun.com\/home\/?p=39266"},"modified":"2026-08-04T16:02:31","modified_gmt":"2026-08-04T16:02:31","slug":"openais-astra-solves-10-math-problems-that-stumped-experts","status":"publish","type":"post","link":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/","title":{"rendered":"OpenAI&#8217;s Astra Solves 10 Math Problems That Stumped Experts"},"content":{"rendered":"\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-constrained wp-block-group-is-layout-constrained\">\n<div class=\"wp-block-uagb-blockquote uagb-block-e7eb3fc3 uagb-blockquote__skin-border uagb-blockquote__stack-img-none\"><blockquote class=\"uagb-blockquote\"><div class=\"uagb-blockquote__content\">OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \u2014 with machine-checkable proofs published on GitHub.<\/div><footer><div class=\"uagb-blockquote__author-wrap uagb-blockquote__author-at-left\"><\/div><\/footer><\/blockquote><\/div>\n\n\n\n<div class=\"wp-block-group is-content-justification-space-between is-nowrap is-layout-flex wp-container-core-group-is-layout-b0ffac9c wp-block-group-is-layout-flex\"><div style=\"font-size:16px\" class=\"has-text-align-left wp-block-post-author\"><div class=\"wp-block-post-author__content\"><p class=\"wp-block-post-author__name\">The University Network<\/p><\/div><\/div>\n\n\n<div class=\"wp-block-uagb-social-share uagb-social-share__outer-wrap uagb-social-share__layout-horizontal uagb-block-ee584a31\">\n<div class=\"wp-block-uagb-social-share-child uagb-ss-repeater uagb-ss__wrapper uagb-block-ec619ce7\"><span class=\"uagb-ss__link\" data-href=\"https:\/\/www.facebook.com\/sharer.php?u=\" tabindex=\"0\" role=\"button\" aria-label=\"facebook\"><span class=\"uagb-ss__source-wrap\"><span class=\"uagb-ss__source-icon\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\"><path d=\"M504 256C504 119 393 8 256 8S8 119 8 256c0 123.8 90.69 226.4 209.3 245V327.7h-63V256h63v-54.64c0-62.15 37-96.48 93.67-96.48 27.14 0 55.52 4.84 55.52 4.84v61h-31.28c-30.8 0-40.41 19.12-40.41 38.73V256h68.78l-11 71.69h-57.78V501C413.3 482.4 504 379.8 504 256z\"><\/path><\/svg><\/span><\/span><\/span><\/div>\n\n\n\n<div class=\"wp-block-uagb-social-share-child uagb-ss-repeater uagb-ss__wrapper uagb-block-32d99934\"><span class=\"uagb-ss__link\" data-href=\"https:\/\/twitter.com\/share?url=\" tabindex=\"0\" role=\"button\" aria-label=\"twitter\"><span class=\"uagb-ss__source-wrap\"><span class=\"uagb-ss__source-icon\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\"><path d=\"M389.2 48h70.6L305.6 224.2 487 464H345L233.7 318.6 106.5 464H35.8L200.7 275.5 26.8 48H172.4L272.9 180.9 389.2 48zM364.4 421.8h39.1L151.1 88h-42L364.4 421.8z\"><\/path><\/svg><\/span><\/span><\/span><\/div>\n\n\n\n<div class=\"wp-block-uagb-social-share-child uagb-ss-repeater uagb-ss__wrapper uagb-block-1d136f14\"><span class=\"uagb-ss__link\" data-href=\"https:\/\/www.linkedin.com\/shareArticle?url=\" tabindex=\"0\" role=\"button\" aria-label=\"linkedin\"><span class=\"uagb-ss__source-wrap\"><span class=\"uagb-ss__source-icon\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 448 512\"><path d=\"M416 32H31.9C14.3 32 0 46.5 0 64.3v383.4C0 465.5 14.3 480 31.9 480H416c17.6 0 32-14.5 32-32.3V64.3c0-17.8-14.4-32.3-32-32.3zM135.4 416H69V202.2h66.5V416zm-33.2-243c-21.3 0-38.5-17.3-38.5-38.5S80.9 96 102.2 96c21.2 0 38.5 17.3 38.5 38.5 0 21.3-17.2 38.5-38.5 38.5zm282.1 243h-66.4V312c0-24.8-.5-56.7-34.5-56.7-34.6 0-39.9 27-39.9 54.9V416h-66.4V202.2h63.7v29.2h.9c8.9-16.8 30.6-34.5 62.9-34.5 67.2 0 79.7 44.3 79.7 101.9V416z\"><\/path><\/svg><\/span><\/span><\/span><\/div>\n<\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n<p class=\"wp-block-paragraph\">OpenAI announced Aug. 1, 2026 that an internal, unreleased version of its next major model \u2014 called Astra \u2014 has produced new results on 10 open problems that had stumped mathematicians for decades. The problems span eight distinct fields: high-dimensional geometry, coding theory, arithmetic circuit complexity, group theory, operator algebras, quantum complexity, lattice cryptography and extremal combinatorics. For each result, OpenAI published a 249-page manuscript alongside machine-checkable Lean 4 certificates on GitHub, allowing independent verification rather than requiring the math community to simply take the company&#8217;s word for it.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The scope is broader than anything OpenAI has previously claimed for an AI system. In May 2026, an unreleased model produced an &nbsp;<a href=\"https:\/\/openai.com\/index\/model-disproves-discrete-geometry-conjecture\/\" target=\"_blank\" rel=\"noopener\" title=\"\">AI-generated disproof<\/a> of the Erd\u0151s unit-distance conjecture \u2014 a single result in one subfield that has since inspired at least five follow-on human-authored papers. The 10-result release covers entirely unrelated mathematical domains, which observers say makes it harder to dismiss as a one-off. Among the highlights: a construction establishing the existence of so-called non-sofic groups, a disproof of Connes&#8217;s rigidity conjecture in operator algebras, an exponential parallel repetition theorem for quantum games, and resolutions of two longstanding Erd\u0151s combinatorics problems (problems 183 and 180\/146).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Human researchers prepared the AI-generated arguments into manuscripts; Astra then formalized each proof as a <a href=\"https:\/\/github.com\/openai\/ten-proofs\" target=\"_blank\" rel=\"noopener\" title=\"\">Lean certificate<\/a>. OpenAI is also releasing a narration of the model&#8217;s reasoning process for each solution. The company was explicit about attribution in its announcement.<\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\">\n<p class=\"wp-block-paragraph\">&#8220;We believe attribution should honestly reflect how a result was produced: claiming human authorship for a proof generated entirely by an AI system would misrepresent both the system&#8217;s contribution and the nature of genuine human intellectual work,&#8221; wrote OpenAI.<\/p>\n<\/blockquote>\n\n\n\n<p class=\"wp-block-paragraph\">One figure from the announcement has circulated widely: OpenAI said the token compute needed to find these solutions would cost roughly $2,000 at Sol API rates. That number is worth contextualizing. It does not represent the full cost of the research \u2014 it excludes training Astra, running the underlying infrastructure, paying the researchers who organized the manuscripts, or the work of formalizing the arguments. It is a measure of inference cost only.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">How This Fits the Competitive Landscape<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">OpenAI&#8217;s results land in an already active AI-for-math arena. Google DeepMind has been the most prominent competitor: its AlphaProof system achieved a silver-medal standard at the 2024 International Mathematical Olympiad, and more recently Gemini equipped with Deep Think reached gold-medal performance, solving five of six IMO problems perfectly. DeepMind&#8217;s AlphaProof Nexus autonomously solved 9 Erd\u0151s problems out of 353 attempted \u2014 including two open for 56 years \u2014 at an inference cost of a few hundred dollars per problem.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The meaningful distinction is breadth and domain novelty. DeepMind&#8217;s systems have excelled at competition-style math and have made inroads into combinatorics, but largely within stylistically similar problem types. Astra&#8217;s 10 results span eight structurally different subfields in a single release. If outside review confirms these results, it shifts the conversation: the question is no longer whether AI can occasionally assist with a proof, but whether a model has developed a repeatable research capability that generalizes across mathematics.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">What This Means for Students and Researchers<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">A few days before the Astra announcement, OpenAI launched <a href=\"https:\/\/www.tun.com\/home\/openai-gives-100000-researchers-free-gpt-5-6-access\/\" target=\"_blank\" rel=\"noopener\" title=\"\">ChatGPT for Academic Researchers<\/a> \u2014 a program offering free access to frontier models for 100,000 scientists, mathematicians and engineers. The rollout starts with 10,000 participants this summer and expands through 2027. Participants receive access across ChatGPT, ChatGPT Work and Codex, including the GPT-5.6 model family, with expanded deep research tools, higher usage limits and larger context windows. For grad students and postdocs who would otherwise pay significant API costs, that is a concrete cost reduction for research workflows ranging from coding to grant writing.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The Lean 4 angle matters separately. Every Astra proof was verified via a Lean certificate \u2014 a machine-checkable formal proof that anyone can run against the published GitHub repository. That means verification is no longer gated behind peer review timelines. For students considering careers in mathematical research or theoretical computer science, fluency with formal proof systems like Lean 4 is becoming a differentiating skill. Understanding how to work alongside AI on formally verifiable proofs \u2014 rather than relying on narrative LLM outputs \u2014 may soon be a baseline expectation in research environments.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The results are not yet externally peer-reviewed in the traditional sense, and the mathematical community will need time to engage with all 10 problems in depth. But the Lean certificates lower the barrier to that engagement considerably. Whether Astra&#8217;s results hold up to scrutiny, the combination of a broad multi-domain release and publicly verifiable proofs represents a new benchmark for what AI-assisted mathematical research looks like in practice.<\/p>\n\n\n\n<div style=\"height:7px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p class=\"source-attribution wp-block-paragraph\"><strong>Source:<\/strong> <a href=\"https:\/\/openai.com\/index\/ten-advances-in-mathematics\" target=\"_blank\" rel=\"nofollow noopener\">OpenAI<\/a><\/p>\n\n\n\n<details class=\"research-citations\">\n<summary>Additional research sources<\/summary>\n<ul>\n<li><a href=\"https:\/\/www.neowin.net\/news\/openais-next-major-model-astra-claims-breakthroughs-on-10-long-standing-math-problems\/\" rel=\"nofollow noopener\" target=\"_blank\">https:\/\/www.neowin.net\/news\/openais-next-major-model-astra-claims-breakthroughs-on-10-long-standing-math-problems\/<\/a><\/li>\n<li><a href=\"https:\/\/thenextweb.com\/news\/openai-astra-model-ten-math-proofs-non-sofic-groups\" rel=\"nofollow noopener\" target=\"_blank\">https:\/\/thenextweb.com\/news\/openai-astra-model-ten-math-proofs-non-sofic-groups<\/a><\/li>\n<li><a href=\"https:\/\/dataconomy.com\/2026\/07\/30\/openai-free-chatgpt-research-program-100000-scientists\/\" rel=\"nofollow noopener\" target=\"_blank\">https:\/\/dataconomy.com\/2026\/07\/30\/openai-free-chatgpt-research-program-100000-scientists\/<\/a><\/li>\n<li><a href=\"https:\/\/en.cryptonomist.ch\/2026\/08\/02\/ai-advances-mathematics-openai\/\" rel=\"nofollow noopener\" target=\"_blank\">https:\/\/en.cryptonomist.ch\/2026\/08\/02\/ai-advances-mathematics-openai\/<\/a><\/li>\n<li><a href=\"https:\/\/pulse2.com\/openai-launches-chatgpt-for-academic-researchers-offering-free-access-to-100000-researchers\/amp\/\" rel=\"nofollow noopener\" target=\"_blank\">https:\/\/pulse2.com\/openai-launches-chatgpt-for-academic-researchers-offering-free-access-to-100000-researchers\/amp\/<\/a><\/li>\n<li><a href=\"https:\/\/www.rdworldonline.com\/openai-debuts-chatgpt-for-academic-researchers-program-will-offer-complimentary-access-to-100000\/\" rel=\"nofollow noopener\" target=\"_blank\">https:\/\/www.rdworldonline.com\/openai-debuts-chatgpt-for-academic-researchers-program-will-offer-complimentary-access-to-100000\/<\/a><\/li>\n<\/ul>\n<\/details>\n","protected":false},"excerpt":{"rendered":"<p>OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \u2014 with machine-checkable proofs published on GitHub.<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"single-no-separators","format":"standard","meta":{"_acf_changed":false,"_uag_custom_page_level_css":"","_monsterinsights_skip_tracking":false,"footnotes":""},"categories":[8],"tags":[3626,3668,3352,939,3669,733,3670],"class_list":["post-39266","post","type-post","status-publish","format-standard","hentry","category-ai","tag-academic-research","tag-formal-verification","tag-google-deepmind","tag-mathematics","tag-open-problems","tag-openai","tag-proof-systems"],"acf":[],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 4.9.8 - aioseo.com -->\n\t<meta name=\"description\" content=\"OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \u2014 with machine-checkable proofs published on GitHub.\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"The University Network\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 4.9.8\" \/>\n\t\t<meta property=\"og:locale\" content=\"en_US\" \/>\n\t\t<meta property=\"og:site_name\" content=\"TUN - The University Network\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"OpenAI\u2019s Astra Solves 10 Math Problems That Stumped Experts - TUN\" \/>\n\t\t<meta property=\"og:description\" content=\"OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \u2014 with machine-checkable proofs published on GitHub.\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2026-08-04T12:02:00+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2026-08-04T16:02:31+00:00\" \/>\n\t\t<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n\t\t<meta name=\"twitter:title\" content=\"OpenAI\u2019s Astra Solves 10 Math Problems That Stumped Experts - TUN\" \/>\n\t\t<meta name=\"twitter:description\" content=\"OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \u2014 with machine-checkable proofs published on GitHub.\" \/>\n\t\t<script type=\"application\/ld+json\" class=\"aioseo-schema\">\n\t\t\t{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"BlogPosting\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/openais-astra-solves-10-math-problems-that-stumped-experts\\\/#blogposting\",\"name\":\"OpenAI\\u2019s Astra Solves 10 Math Problems That Stumped Experts - TUN\",\"headline\":\"OpenAI&#8217;s Astra Solves 10 Math Problems That Stumped Experts\",\"author\":{\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/author\\\/funky_junkie\\\/#author\"},\"publisher\":{\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/#organization\"},\"datePublished\":\"2026-08-04T12:02:00+00:00\",\"dateModified\":\"2026-08-04T16:02:31+00:00\",\"inLanguage\":\"en-US\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/openais-astra-solves-10-math-problems-that-stumped-experts\\\/#webpage\"},\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/openais-astra-solves-10-math-problems-that-stumped-experts\\\/#webpage\"},\"articleSection\":\"AI, academic research, formal verification, Google DeepMind, mathematics, open problems, OpenAI, proof systems\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/openais-astra-solves-10-math-problems-that-stumped-experts\\\/#breadcrumblist\",\"itemListElement\":[{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home#listItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.tun.com\\\/home\",\"nextItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/category\\\/ai\\\/#listItem\",\"name\":\"AI\"}},{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/category\\\/ai\\\/#listItem\",\"position\":2,\"name\":\"AI\",\"item\":\"https:\\\/\\\/www.tun.com\\\/home\\\/category\\\/ai\\\/\",\"nextItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/openais-astra-solves-10-math-problems-that-stumped-experts\\\/#listItem\",\"name\":\"OpenAI&#8217;s Astra Solves 10 Math Problems That Stumped Experts\"},\"previousItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home#listItem\",\"name\":\"Home\"}},{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/openais-astra-solves-10-math-problems-that-stumped-experts\\\/#listItem\",\"position\":3,\"name\":\"OpenAI&#8217;s Astra Solves 10 Math Problems That Stumped Experts\",\"previousItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/category\\\/ai\\\/#listItem\",\"name\":\"AI\"}}]},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/#organization\",\"name\":\"Home\",\"description\":\"The University Network\",\"url\":\"https:\\\/\\\/www.tun.com\\\/home\\\/\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/author\\\/funky_junkie\\\/#author\",\"url\":\"https:\\\/\\\/www.tun.com\\\/home\\\/author\\\/funky_junkie\\\/\",\"name\":\"The University Network\",\"image\":{\"@type\":\"ImageObject\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/openais-astra-solves-10-math-problems-that-stumped-experts\\\/#authorImage\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/13dd0893ea3180b8e23da81ab702e21a881401f7778d2b4aedbd75103e0b7e4f?s=96&d=mm&r=g\",\"width\":96,\"height\":96,\"caption\":\"The University Network\"}},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/openais-astra-solves-10-math-problems-that-stumped-experts\\\/#webpage\",\"url\":\"https:\\\/\\\/www.tun.com\\\/home\\\/openais-astra-solves-10-math-problems-that-stumped-experts\\\/\",\"name\":\"OpenAI\\u2019s Astra Solves 10 Math Problems That Stumped Experts - TUN\",\"description\":\"OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \\u2014 with machine-checkable proofs published on GitHub.\",\"inLanguage\":\"en-US\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/#website\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/openais-astra-solves-10-math-problems-that-stumped-experts\\\/#breadcrumblist\"},\"author\":{\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/author\\\/funky_junkie\\\/#author\"},\"creator\":{\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/author\\\/funky_junkie\\\/#author\"},\"datePublished\":\"2026-08-04T12:02:00+00:00\",\"dateModified\":\"2026-08-04T16:02:31+00:00\"},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/#website\",\"url\":\"https:\\\/\\\/www.tun.com\\\/home\\\/\",\"name\":\"Home\",\"description\":\"The University Network\",\"inLanguage\":\"en-US\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.tun.com\\\/home\\\/#organization\"}}]}\n\t\t<\/script>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"OpenAI\u2019s Astra Solves 10 Math Problems That Stumped Experts - TUN","description":"OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \u2014 with machine-checkable proofs published on GitHub.","canonical_url":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"BlogPosting","@id":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/#blogposting","name":"OpenAI\u2019s Astra Solves 10 Math Problems That Stumped Experts - TUN","headline":"OpenAI&#8217;s Astra Solves 10 Math Problems That Stumped Experts","author":{"@id":"https:\/\/www.tun.com\/home\/author\/funky_junkie\/#author"},"publisher":{"@id":"https:\/\/www.tun.com\/home\/#organization"},"datePublished":"2026-08-04T12:02:00+00:00","dateModified":"2026-08-04T16:02:31+00:00","inLanguage":"en-US","mainEntityOfPage":{"@id":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/#webpage"},"isPartOf":{"@id":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/#webpage"},"articleSection":"AI, academic research, formal verification, Google DeepMind, mathematics, open problems, OpenAI, proof systems"},{"@type":"BreadcrumbList","@id":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/#breadcrumblist","itemListElement":[{"@type":"ListItem","@id":"https:\/\/www.tun.com\/home#listItem","position":1,"name":"Home","item":"https:\/\/www.tun.com\/home","nextItem":{"@type":"ListItem","@id":"https:\/\/www.tun.com\/home\/category\/ai\/#listItem","name":"AI"}},{"@type":"ListItem","@id":"https:\/\/www.tun.com\/home\/category\/ai\/#listItem","position":2,"name":"AI","item":"https:\/\/www.tun.com\/home\/category\/ai\/","nextItem":{"@type":"ListItem","@id":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/#listItem","name":"OpenAI&#8217;s Astra Solves 10 Math Problems That Stumped Experts"},"previousItem":{"@type":"ListItem","@id":"https:\/\/www.tun.com\/home#listItem","name":"Home"}},{"@type":"ListItem","@id":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/#listItem","position":3,"name":"OpenAI&#8217;s Astra Solves 10 Math Problems That Stumped Experts","previousItem":{"@type":"ListItem","@id":"https:\/\/www.tun.com\/home\/category\/ai\/#listItem","name":"AI"}}]},{"@type":"Organization","@id":"https:\/\/www.tun.com\/home\/#organization","name":"Home","description":"The University Network","url":"https:\/\/www.tun.com\/home\/"},{"@type":"Person","@id":"https:\/\/www.tun.com\/home\/author\/funky_junkie\/#author","url":"https:\/\/www.tun.com\/home\/author\/funky_junkie\/","name":"The University Network","image":{"@type":"ImageObject","@id":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/#authorImage","url":"https:\/\/secure.gravatar.com\/avatar\/13dd0893ea3180b8e23da81ab702e21a881401f7778d2b4aedbd75103e0b7e4f?s=96&d=mm&r=g","width":96,"height":96,"caption":"The University Network"}},{"@type":"WebPage","@id":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/#webpage","url":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/","name":"OpenAI\u2019s Astra Solves 10 Math Problems That Stumped Experts - TUN","description":"OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \u2014 with machine-checkable proofs published on GitHub.","inLanguage":"en-US","isPartOf":{"@id":"https:\/\/www.tun.com\/home\/#website"},"breadcrumb":{"@id":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/#breadcrumblist"},"author":{"@id":"https:\/\/www.tun.com\/home\/author\/funky_junkie\/#author"},"creator":{"@id":"https:\/\/www.tun.com\/home\/author\/funky_junkie\/#author"},"datePublished":"2026-08-04T12:02:00+00:00","dateModified":"2026-08-04T16:02:31+00:00"},{"@type":"WebSite","@id":"https:\/\/www.tun.com\/home\/#website","url":"https:\/\/www.tun.com\/home\/","name":"Home","description":"The University Network","inLanguage":"en-US","publisher":{"@id":"https:\/\/www.tun.com\/home\/#organization"}}]},"og:locale":"en_US","og:site_name":"TUN - The University Network","og:type":"article","og:title":"OpenAI\u2019s Astra Solves 10 Math Problems That Stumped Experts - TUN","og:description":"OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \u2014 with machine-checkable proofs published on GitHub.","og:url":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/","article:published_time":"2026-08-04T12:02:00+00:00","article:modified_time":"2026-08-04T16:02:31+00:00","twitter:card":"summary_large_image","twitter:title":"OpenAI\u2019s Astra Solves 10 Math Problems That Stumped Experts - TUN","twitter:description":"OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \u2014 with machine-checkable proofs published on GitHub."},"aioseo_meta_data":{"post_id":"39266","title":null,"description":null,"keywords":null,"keyphrases":{"focus":{"keyphrase":"","score":0,"analysis":{"keyphraseInTitle":{"score":0,"maxScore":9,"error":1}}},"additional":[]},"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":"","og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"BlogPosting","isEnabled":true},"graphs":[]},"schema_type":"default","schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":"-1","robots_max_videopreview":"-1","robots_max_imagepreview":"large","priority":null,"frequency":"default","local_seo":null,"breadcrumb_settings":null,"limit_modified_date":true,"ai":{"faqs":[],"keyPoints":[],"schemas":[],"titles":[],"descriptions":[],"socialPosts":{"email":[],"linkedin":[],"twitter":[],"facebook":[],"instagram":[]}},"created":"2026-08-04 14:07:05","updated":"2026-08-04 16:27:14","seo_analyzer_scan_date":null},"aioseo_breadcrumb":"<div class=\"aioseo-breadcrumbs\"><span class=\"aioseo-breadcrumb\">\n\t\t\t<a href=\"https:\/\/www.tun.com\/home\" title=\"Home\">Home<\/a>\n\t\t<\/span><span class=\"aioseo-breadcrumb-separator\">&raquo;<\/span><span class=\"aioseo-breadcrumb\">\n\t\t\t<a href=\"https:\/\/www.tun.com\/home\/category\/ai\/\" title=\"AI\">AI<\/a>\n\t\t<\/span><span class=\"aioseo-breadcrumb-separator\">&raquo;<\/span><span class=\"aioseo-breadcrumb\">\n\t\t\tOpenAI\u2019s Astra Solves 10 Math Problems That Stumped Experts\n\t\t<\/span><\/div>","aioseo_breadcrumb_json":[{"label":"Home","link":"https:\/\/www.tun.com\/home"},{"label":"AI","link":"https:\/\/www.tun.com\/home\/category\/ai\/"},{"label":"OpenAI&#8217;s Astra Solves 10 Math Problems That Stumped Experts","link":"https:\/\/www.tun.com\/home\/openais-astra-solves-10-math-problems-that-stumped-experts\/"}],"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false},"uagb_author_info":{"display_name":"The University Network","author_link":"https:\/\/www.tun.com\/home\/author\/funky_junkie\/"},"uagb_comment_info":0,"uagb_excerpt":"OpenAI announced on Aug. 1, 2026 that an internal version of its next major model, Astra, has resolved or made substantial progress on 10 long-standing open problems across eight fields of mathematics and theoretical computer science \u2014 with machine-checkable proofs published on GitHub.","_links":{"self":[{"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/posts\/39266","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/comments?post=39266"}],"version-history":[{"count":7,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/posts\/39266\/revisions"}],"predecessor-version":[{"id":39292,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/posts\/39266\/revisions\/39292"}],"wp:attachment":[{"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/media?parent=39266"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/categories?post=39266"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/tags?post=39266"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}