(/)   (/_next/static/immutable/chunks/0es3q04qzx9l_.css)  (/_next/static/immutable/chunks/411n2iy624ij3.css)  (/_next/static/immutable/chunks/2nb6jtt-naqwa.css)  (/_next/static/immutable/chunks/23fky70g62fni.css)  (/_next/static/immutable/chunks/2sbytptrrrh6y.css)  (/_next/static/immutable/chunks/1c3l7ofa-vr4e.css)  (/_next/static/immutable/chunks/1kvjjz1x6tgww.css)  (/_next/static/immutable/chunks/3l0fumx68x--b.css)  (/_next/static/immutable/chunks/371m1wkroup7c.css)  (/_next/static/immutable/chunks/3k2g3v_uak-u1.css)  (/_next/static/immutable/chunks/0x-5drfo4rixj.css)  (/_next/static/immutable/chunks/0iy4z_6llviv2.css)  (/_next/static/immutable/chunks/38cm2tkepwr00.css)  (/_next/static/immutable/chunks/09t9in8h8h9yd.css)  (/_next/static/immutable/chunks/0ifi67wxrbsaq.css)  (/_next/static/immutable/chunks/2_uro-h4j39cs.css)  (/_next/static/immutable/chunks/3joiz7zi61a_s.css)  (/_next/static/immutable/chunks/3u9xgevl828vu.css)  (/_next/static/immutable/chunks/3om74s_avintz.css)  (/_next/static/immutable/chunks/0ja1ygm1247x2.css)  (/_next/static/immutable/chunks/02qavatj933a5.css)  (/_next/static/immutable/chunks/0h-tu49j5vys7.css)  (/_next/static/immutable/chunks/0j6dvdpebovbg.css)  (/_next/static/immutable/chunks/3bdopauhhn_cb.css)  (/_next/static/immutable/chunks/0a73uk6y55u29.css)  (/_next/static/immutable/chunks/0vpmvteqf0--a.css)  (/_next/static/immutable/chunks/199w-v6wvp-zb.css)  (/_next/static/immutable/chunks/011mcu7n6v7o0.css)  (/_next/static/immutable/chunks/360bwgze7el5j.css)  (/_next/static/immutable/chunks/0whxqe136feku.css)  (/_next/static/immutable/chunks/0y9_y8-vlpmn1.css)  (/_next/static/immutable/chunks/1t64wpjnpyypp.css)  (/_next/static/immutable/chunks/2i3baeuj560v6.css)  (/_next/static/immutable/chunks/1x81ox1s98glr.css)  (/_next/static/immutable/chunks/1vsqvqpe0lwsi.css)  (/_next/static/immutable/chunks/3ws6s-63hssiy.css)  (/_next/static/immutable/chunks/1str9kb7mkyey.css)  (/_next/static/immutable/chunks/27bbtyu9dmb08.js)  (https://static.cloudflareinsights.com/beacon.min.js)  Sharing AI progress in mathematics | OpenAI    (https://openai.com/index/sharing-ai-progress-in-mathematics/)  (https://openai.com/index/sharing-ai-progress-in-mathematics/)  (https://openai.com/index/sharing-ai-progress-in-mathematics/)                      (/favicon.ico?favicon.1ui9v3a-0dgo4.ico)  (/apple-icon.png?apple-icon.3o0tf8iy4mx7y.png)  (/favicon.svg)  (https://chatgpt.com)  (https://chatgpt.com)    Skip to main content (/)      (/research/index/) Research        Products        (/business/) Business        (/api/) Developers        (/about/) Company        (https://openaifoundation.org) Foundation  (opens in a new window)       (/icons/cms/3ba4e0d83f3543a8/magnifying-glass-lg.svg#size-16)     (/icons/cms/3ba4e0d83f3543a8/xmark-lg.svg#size-16)       Log in   (https://chatgpt.com/) Try ChatGPT  (opens in a new window)   (/icons/cms/3ba4e0d83f3543a8/sidebar.svg#size-20)        Research  Products  Business  Developers  Company  (https://openaifoundation.org) Foundation  (opens in a new window)    (https://chatgpt.com/) Try ChatGPT  (opens in a new window)  Login               (/icons/cms/3ba4e0d83f3543a8/xmark-lg.svg#size-16)        OpenAI October 6, 2026 (/news/research/) Research (/research/index/publication/) Publication  Sharing AI progress in mathematics  (https://github.com/openai/math) View on GitHub  (opens in a new window)         (/icons/cms/3ba4e0d83f3543a8/play-sm-fill.svg#size-16)    Loading…         Share          We’re releasing a broad range of new mathematical results produced by an  (/index/navier-stokes-solution/) internal frontier model  .   As we look to improve how we share results with the math community, we’ve been consulting with the independent  (https://agmai.org/) Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study ⁠(opens in a new window)  to develop best practices, and we have drawn on their advice and  (https://agmai.org/general-sep29/) public recommendations ⁠(opens in a new window)  to inform how we release these results.    For this release, we’re publishing the results in a GitHub repository, with protocols for paper revisions and citations. We’re continuing to explore other community-hosted alternatives for this release which meet the committee’s guidelines. For future releases, we are committed to further improving the quality of the papers via the citations, mathematical exposition, and presentation of the results for better understanding.   As part of our GitHub repository, we are sharing formalizations of many of the proofs in Lean, a programming language that allows mathematical proofs to be checked by a computer. We will update the repository with more formalizations as we obtain them.    To promote scientific transparency and openness, we are also publishing additional details about how we obtained the results in the repository. These include 10 summaries of the model’s reasoning, estimations of compute spent in terms of Pro usage on ChatGPT, and statistics about the number of attempted problems. The average result used the equivalent compute of roughly three hours of ChatGPT Pro thinking.   We want this progress to push the frontier of human knowledge and enable further progress in mathematics. We will be funding a series of workshops, conferences, and special programs around the understanding of major results produced by AI—we will share more on this in the near future.    We want to directly empower scientists with state-of-the-art capabilities and are working to responsibly release the model that produced these results. This is why it is important to continue to evaluate our internal frontier models on mathematics and other sciences, so we can accelerate developing the tools to advance those fields. We will continue to act on feedback from the community and update our standards for future disclosures of major scientific advancements.     (/news/?tags=2026) 2026    Author OpenAI     Keep reading  (/news/) View all   (oai ironclad cua 1x1)      (/index/advancing-computer-use-with-ironclad/) Advancing computer use with Ironclad Publication Oct 6, 2026        (Mental Health Bench art card)      (/index/introducing-mentalhealthbench/) Introducing MentalHealthBench Publication Sep 23, 2026        (Introducing GPT-6 Sol and Luna — Art card)      (/index/introducing-gpt-6-sol-and-luna/) Introducing GPT-6 Sol and Luna Product Sep 22, 2026             Research (/research/index/) Research Index  (/research/) Research Overview  (/signals/) Economic Research    Latest Advancements (/index/introducing-gpt-6-1-sol/) GPT-6.1 Sol  (/index/gpt-6-astra/) GPT-6 Astra  (/index/gpt-5-6/) GPT-5.6  (/index/introducing-gpt-5-5/) GPT-5.5    Safety (/safety/) Safety Approach  (https://deploymentsafety.openai.com/) Deployment Safety  (opens in a new window)   (/security-and-privacy/) Security & Privacy  (/trust-and-transparency/) Trust & Transparency     Products (https://chatgpt.com/) ChatGPT  (opens in a new window)   (https://chatgpt.com/business/) ChatGPT Business  (opens in a new window)   (https://chatgpt.com/business/enterprise/) ChatGPT Enterprise  (opens in a new window)   (https://chatgpt.com/business/education/) ChatGPT for Education  (opens in a new window)   (https://chatgpt.com/codex/) Codex  (https://chatgpt.com/features/dots) Dots  (opens in a new window)   (/products/release-notes/) Release Notes    API Platform (/api/) Overview  (https://platform.openai.com/login) API Log In  (opens in a new window)   (https://developers.openai.com/api/docs) Docs  (opens in a new window)      Business (/business/) Overview  (/solutions/) Solutions  (/business/learn/) Resources  (/business/plugins/) Plugins  (/business/customer-stories/) Customer Stories  (/business/partners/) Partner Network  (/contact-sales/) Contact Sales    Developers (https://developers.openai.com/apps-sdk) Apps SDK  (opens in a new window)   (/open-models/) Open Models  (https://developers.openai.com/) Docs  (opens in a new window)   (https://developers.openai.com/learn) Resources  (opens in a new window)   (https://community.openai.com/) Developer Forum  (opens in a new window)      Company (/about/) About Us  (/charter/) Our Charter  (/careers/) Careers  (/news/) News    Support (https://help.openai.com/) Help Center  (opens in a new window)   (https://status.openai.com) OpenAI Status  (opens in a new window)      More (/stories/) Stories  (/academy/) Academy  (/supply/) Supply Co.  (/live/) Livestreams  (/podcast/) Podcast  (https://openai.com/news/rss.xml) RSS    Terms & Policies (/policies/terms-of-use/) Terms of Use  (/policies/privacy-policy/) Privacy Policy  (/policies/) Other Policies        (https://x.com/OpenAI) (/icons/cms/3ba4e0d83f3543a8/x-logo.svg#size-16)   (opens in a new window)  (https://www.youtube.com/OpenAI) (/icons/cms/3ba4e0d83f3543a8/youtube-logo.svg#size-16)   (opens in a new window)  (https://www.linkedin.com/company/openai) (/icons/cms/3ba4e0d83f3543a8/linkedin-logo.svg#size-16)   (opens in a new window)  (https://github.com/openai) (/icons/cms/3ba4e0d83f3543a8/github-logo.svg#size-16)   (opens in a new window)  (https://www.instagram.com/openai/) (/icons/cms/3ba4e0d83f3543a8/instagram-logo.svg#size-16)   (opens in a new window)  (https://www.tiktok.com/@openai) (/icons/cms/3ba4e0d83f3543a8/tiktok-logo.svg#size-16)   (opens in a new window)  (https://discord.gg/openai)   (opens in a new window)   OpenAI © 2015–2026 Your privacy choices         EnglishUnited States       (Search) ()