OpenAI unleashes hundreds more math results upon a field already in shock

Reddit r/ArtificialInteligence News

Summary

继其大语言模型解决二十年来最大数学突破之后,OpenAI 宣布其新内部模型已再产出 372 项成果,每项都解决或大幅推进了数学或理论计算机科学中的重大公开问题,且不再需要数百万美元的成本。

No content available
Original Article
View Cached Full Text

Cached at: 10/08/26, 12:10 PM

# OpenAI unleashes hundreds more math results upon a field already in shock Source: [https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/](https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/) October 6, 2026 3min read [![Google Logo](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADgAAAA4CAYAAACohjseAAAACXBIWXMAACxLAAAsSwGlPZapAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAZpSURBVHgB1ZrfbxRVFMfPvTPTnwiLgVISErdqYuKPsJKWYPzRacHEBxKWgg+EmHZ91IcWnzSEdBtDfIT+Bd0+YK0/wvJmVLbTaAzSGrYvBsNDV40UKdKpBftj597ruUN3Xdrd7vzYbnc/STMzO/dO5zvn3HPPPTMENoEZ/VBQoSs6J0qIAHmKgMCtCAgggUwbPDbx2MTdFAeY0gCmGYPxJmMiCSWEQImY1Vt1ppAwBTiGh0HwyKrwuAB+Zc/Vn+PgE98C73a29eBVunFXh9KTokCiaW1lfO/XyRR4wLPAVWH94MNaLkgRQWK7E9cHwCWuBc68FQoqaW0INsdixUgxLd3hxpoUXPD34bZeNa3egK0RJ5EPd3q282C/0w6OLDithwKNinYBd3ugQpCB6F+2EmkxkuZG7Ypa0BanamNQQeIkGG3D9bS2p1g7daOTq+NtDB9XECoMIchAc+Kni8XaFbSgtJxiaZcBKlPcnsT1qJO2BQVuU9QhtFwIKgw34iR5XXT2SGs/XigM/u/GBEJkNpLEzOQ3zjQ7DVOABZgqAoog+wXAy/gg2wkp7iluxUnWRdHVcTcNvhAGIzCw97tJw2mPu3pbSCjQhzfUnfeKHsRJ1gm8e7hNiguCB4SAJKfijBtha7ETdcXCRILo/18YIk2JiRh44DGBq+nXEHgAVwSDzVcn+qBE/HWkNYrpWb8fcZLHBN5/5/lp63ZjENzi8yYKIa2517iWAh9kBa58o/UQCkNLPzTD4vfNji+wWeJKBc3Zs/O7utfuQOPR34HuWCnaWQ78ShYnsS2Y/lbVMZyP5Z7g8zWwcOlZe1uAWNPViQhUOLYF0RI9606gBXe89wvUts2u64TRMsWY4nptthXYAnHsHSvUoOHIn7bLkjqW8ysZ9jv4ywW13RMgsFGjmpfuw/Z3f82OS85pDKoElQEJKQ4aSnFS5NLk7tj26B8p8IgencOHWReAsrBkqgoR7U4rF9JNG9647avSRTUFc1zmKZlwi+DqII5B4uppKoSNQ7VAIUgFcZF3Yq5JOsCEKgGLzvspcbNaJ9UjbpWAq6oaF2Qeqgt3AjEgzUGV4UqgqMD6TDFkkEk5bUyqUSAGGceBQ1pQjEGZJumSkKKcw5SbHkwo7VAloPFSKrqorHR1O+mwwFVILO3DTOTWFfAIPlATK2gGeAT76k7bciLmSb61YD5mWD28P/8qzPAG01pkLclIvOxzov7xgk5p8XvNwsUA1d60DNzd8GZHF5+BblOX4uRhQK2jJSsuuQGDnKtaLRbCDHuaQLfJ63LSJS8+fBH/XoAFoeX8J9IbGgqXPdgQSo656sCspC0QQ2ls7bmMS44uPp2va0BtUMqyIsjQef6fHnAxTWGAMYzoTtMWuNZNx5ebbZe8xXYUvoKAcOtnXWVxVf2TuSCawfFLTwmjEJPbbCbDhRiUW+mSHy4cfNwlC0IuHBw94SgC+4FyD2+5VtL2si4rsEa1LvbOv2IWcMmCcAGxzRTZef6BHApu33LF0D1TcicrUK7zri03eaqUSZGto12uXKgY0i07zj/w9GaZczGc2V9Xq2gd6bqBUdLTe0Ehv4IQrCN5Kp4CH7R9fqJXM/Vo3WzES6SOJc5uy9Zr8wg8iRO/cD6Z5gGFxohgw5On4obTPnLaURqVbpy8+jJJPbV2QcPtj7D0t8vpZYCn0y0Z95TkrTYd+PRkH6XiAvhEWhQ3Bg6EJGFsiihgKuxRtGYKBBijISJEiFAqX4SGSJ7ypRRZez8M2sLrxf8hZi6Jc09Ec38qWE5rHTlxGc/6f8tbIqTI2rnjBc/Lhzl2dlvL2t8LLnitJRbBGn1Jv/zzw/KTcXiw7xxw7d66c1KcSKc78vXbsCAaGgkHFaKMVdJC13bZe6dBe3jAPhb214lWh3F2Z15jFK34SpEq0MteI+tmIV22Zi5sCi4ixrntBYvRRav2d766aTYdfW6UKLQe12KHoEKw6m+aaXWm48cPOo2N2rn62hCnkChOISWd0D2BscECftzJfOv6c8qtHpeCwyBbZlGnC27PH8QeGOnqIYT0l1GoYTF6Jnn6C1eR3bPADGUQaoAgA5OnvjTAA74FZmi79HaIU96HV2wvgVhDUIizh2zYb+2nZAJzsccpVULAuC7TMAwKAUFIMDcVE48W2CamalhlI0lup3NkylqykqUsaP0HRAp2kB9Rgc8AAAAASUVORK5CYII=)Add Us On GoogleAdd SciAm](https://www.google.com/preferences/source?q=scientificamerican.com)[https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/#](https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/#) A month after resolving one of the six biggest open problems in mathematics, the company says its new internal model has toppled heaps more—this time without the multimillion\-dollar price tag ![Blue computerized brain melting into a screen of dots and lines.](https://static.scientificamerican.com/dam/asset/17b9a99a-4ff3-4784-90f4-3bf3c5dd49f7/GettyImages-1388879870.jpg?m=1791307024.645&w=600)Yuichiro Chino/Getty Images The floodgates are open\. Right on the heels of OpenAI’s new large language model producing the[biggest math breakthrough](https://www.scientificamerican.com/article/ai-may-have-just-solved-a-million-dollar-math-problem-the-field-will-never-be-the-same/)in two decades, the company just released no less than 372 results from the same model\. Each resolves or makes substantial progress on a major open question in mathematics or theoretical computer science, the[company says](https://openai.com/index/sharing-ai-progress-in-mathematics/)\. OpenAI revealed the results in a[GitHub repository](http://github.com/openai/math)at 6 P\.M\. EDT\. The deluge will take mathematicians months to parse through and understand—including to determine whether the proofs contain novel and important ideas or are mostly mash\-ups of existing techniques\. But many of the results have already been verified in Lean—a programming language that validates a proof’s logic—and are therefore all but certain to be correct\. Among the results claimed are a solution to the four\-dimensional[Kakeya conjecture](https://www.scientificamerican.com/article/2026-fields-medals-go-to-four-young-mathematicians/), improvements on some of the world’s most important computer algorithms and actual progress toward math’s[scariest problem](https://www.scientificamerican.com/article/the-riemann-hypothesis-is-a-million-dollar-math-problem-hardly-anyone-is-trying-to-solve/), the Riemann hypothesis\. --- ## On supporting science journalism If you're enjoying this article, consider supporting our award\-winning journalism by[subscribing](https://www.scientificamerican.com/getsciam/)\. By purchasing a subscription you are helping to ensure the future of impactful stories about the discoveries and ideas shaping our world today\. --- A spokesperson for OpenAI told*Scientific American*that the new model—which the company has not released to the public—produced almost every one of the results in response to a single prompt handed to a single AI agent\. This would be a striking difference from OpenAI’s earlier[blockbuster solution to the Navier\-Stokes problem](https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem/), which was produced through the collective efforts of a 10,000\-strong agentic swarm that cost millions of dollars in computing power\. If true, it would mean that unprecedented mathematical power could soon be accessible to anyone\. But OpenAI’s[reputation](https://www.scientificamerican.com/article/openais-latest-math-breakthroughs-commit-research-misconduct-experts-say/), among mathematicians, for bold claims and little transparency is causing considerable skepticism\. “Until and unless they release the model and people can replicate their results, I think you should treat any claims about one\-shotting problems with a single agent as unverified,” says Andrew Sutherland, a mathematician at the Massachusetts Institute of Technology\. “We should ask for receipts\.” \(The OpenAI spokesperson also told*Scientific American*that some results might have taken multiple attempts\.\) OpenAI’s handling of the Navier\-Stokes solution’s release has proved[so controversial](https://www.scientificamerican.com/article/openai-claims-blockbuster-math-breakthrough-amid-swirl-of-controversy/)that, on September 21, the company[announced](https://openai.com/index/advisory-group-on-mathematics-and-ai/)it was assembling an independent advisory group of mathematicians to provide recommendations on responsibly publishing AI\-generated results\. The[recommendations that the group developed](https://agmai.org/general-sep29/)call for a company that releases such results to make public the model, exact prompt and compute time behind each one\. In spite of the group’s recommendations, though, OpenAI is choosing only to reveal the*average*compute time for a problem, with some additional statistics—and no prompts\. The OpenAI spokesperson told*Scientific American*that the team is taking the advisory group’s guidelines seriously and doing its best to comply but added that the company is not bound by these recommendations\. The recommendations are particularly critical of AI companies using “proprietary internal models” that aren’t broadly accessible to mathematicians\. OpenAI told*Scientific American*that the company is working to release the model as quickly and responsibly as possible\. As the Navier\-Stokes dispute unfolded, comments from OpenAI personnel led some mathematicians to believe the company’s model had produced additional results but that it was hesitating to publicize them\. This raises a vital question: Is it more harmful to unload heaps of unexplained proofs on the community or withhold them entirely? “If we want to know the answers to these math questions, I see no reason why we should ask the company to keep them secret from us,” says Daniel Litt, a mathematician at the University of Toronto\. “To me, it’s going to be a good thing for mathematics\.” On the other hand, the famed mathematician Terence Tao has[vocally criticized](https://x.com/ElonEconomyX/status/2101486356509729026?)OpenAI and other “frontier” AI labs for the “insane” pace of their AI\-generated results\. Such results may even be coming too fast for the labs themselves—the OpenAI spokesperson told*Scientific American*that many of the company’s newly released results are not yet understood by its own mathematicians\. Still, they don’t plan on slowing down\. The company wants to put as powerful a tool as possible in mathematicians’ hands\. Moreover, OpenAI maintains that it*can’t*slow down because these math problems are an indispensable test to show that their AI really is getting smarter\. But for the practitioners who see mathematical truth as an end rather than a means, the consequences of this race are becoming harder and harder to predict\. ## Subscribe to Support Independent Journalism Great science journalism requires human expertise, time, effort and creativity\. And it costs money\. That’s why I and the journalists here at*Scientific American*hope you’ll join our community\. When you subscribe, you are supporting staff and freelance journalists who are passionate about telling science stories that are true, important and compelling\. Our editors and reporters are often experts in their fields, which means they understand the nuances of big discoveries and can untangle the breakthroughs from the hype\. With a subscription, you are also supporting rigorous fact\-checking to ensure the words we publish are precise and accurate\. And you’re supporting original illustrations, graphics and photos that bring you closer to an advanced laboratory, an ice sheet in Antarctica or a space mission in orbit\. You’re helping us craft other types of high\-quality journalism as well: Our newsletters are carefully written, edited and curated by staffers you have or will come to know and love\. Our*Science Quickly*podcast is based on original reporting, collaboration with editors and scientists and exacting production\. Subscriptions keep this engine running so we can continue to deliver thoughtful, rigorous and independent science journalism to you\. In an era of viral misinformation, this work is crucial\. If you value what we do, I hope you’ll consider joining us as a subscriber

Similar Articles

OpenAI withdraws three mathematical results

Hacker News Top

OpenAI 更新其数学仓库,新增 6 个 Lean 形式化证明、19 项修改,并撤回三项数学结果;仓库约 42% 的核心结果已完成形式化验证,且大部分成果由未发布的内部模型经大量思考计算生成。

The most exciting claims from OpenAI’s heap of new proofs

Reddit r/artificial

OpenAI发布了700多篇由AI智能体生成的论文,声称在理论数学、计算机科学和物理领域解决了372个公开问题,其中包括关于黎曼假设的重大进展,尽管部分证明已被发现错误并撤回,专家仍称这些成果令人震惊。

@sama: We are entering a new era of discovery now:

X AI KOLs

OpenAI宣布进入科学发现新时代,发布其内部前沿模型产出的一系列重要数学成果(包括Navier-Stokes相关结果),并提供Lean形式化证明、计算资源披露,以及与IAS数学与人工智能咨询组合作制定的发布规范。