{"slug": "openai-trumpets-3-more-math-and-science-results-along-with-a-new-plan-for-them", "title": "OpenAI Trumpet’s 3 More Math and Science Results, Along With a New Plan for Publishing Them", "summary": "OpenAI claims its internal AI models have disproved the Exponential Time Hypothesis, found a novel proof of the Kakeya conjecture via the local smoothing conjecture, and produced a proof covering certain interacting quantum field theories in four dimensions, including Quantum Chromodynamics and a unified completion of the Standard Model, according to a new OpenAI science post. The claims follow OpenAI's earlier GitHub release of 377 math results and come with a publishing plan in which OpenAI says it does not \"seek academic credit for the discoveries produced by our internal models\" and will release model-generated texts as \"raw research data\" for outside experts to convert into scientific understanding. OpenAI says the math results were formalized or verified in Lean, the proof assistant, though prior Lean verification of an OpenAI Navier-Stokes Millennium Problem solution drew concern that Lean verified a weaker assertion than what OpenAI published.", "body_md": "Look, we’re all pretty sure 3-SAT can’t be solved in polynomial time. So when this comes up—as happens multiple times a day—we all know where to turn. Say it with me: *the Exponential Time Hypothesis* (ETH). I mean, sure, that’s unproven too, but it gives us all a good idea of how much non-polynomial time something is going to take.\n\nOr does it??? Because OpenAI claims to have just disproved *the entire ETH*. Back to the drawing board everyone!\n\nI’m actually just paraphrasing [a YouTube video](https://www.youtube.com/watch?v=dVQrj52JhyA) about the ETH (probably badly) and have zero idea what I’m talking about. But if you’re a theoretical computer scientist working with optimization and algorithms, this matters. And OpenAI is claiming this and two other breakthroughs in its [latest science dump](https://openai.com/index/building-scientific-understanding-with-academic-communities/).\n\nIn addition to believing its AI models have disproved the ETH, OpenAI claims to have resolved something from the study of waves and harmonics called “the Kakeya conjecture” by finding a novel proof for all dimensions in something called “the local smoothing conjecture.”\n\nBut don’t get too relaxed thinking about all those smooth waves, because over in physics, OpenAI also thinks it has a proof of “certain interacting quantum field theories containing gauge fields and fermions in four dimensions, including Quantum Chromodynamics (QCD) and a unified completion of the Standard Model of particle physics.” Yep, you read that right: gauge fields *and* fermions!\n\nWhen OpenAI [dumped 377 math results on GitHub at the beginning of this month](https://gizmodo.com/openai-dumps-377-new-math-results-on-github-publishes-hand-wringing-blog-post-2000822613), its blog post included parts that came across as a bit defensive, including language about how OpenAI would “empower scientists with state-of-the-art capabilities,” and work to “responsibly release the model that produced these results.“ An advisory group it had worked with had already [spoken out](https://futurism.com/artificial-intelligence/mathematicians-openai-furious) against a private company using unreleased internal AI models to achieve breakthrough results, and OpenAI had apparently done that.\n\nThis time, OpenAI assures the reader that OpenAI does not “seek academic credit for the discoveries produced by our internal models.” And apparently to that end, it has a plan that it hopes will disperse AI-generated discoveries—and therefore credit—to the math and physics communities. But it’s a plan that, taken to extremes, could be reminiscent of Immortan Joe in the movie *Mad Max: Fury Road*, dispersing [water](https://www.youtube.com/watch?v=d605rM0U3x0) to his parched subjects.\n\nOpenAI is releasing model-generated texts, and says they’re “best understood as a form of raw research data,” and that the task of the math and science communities will be to “convert this raw research data into scientific understanding.”\n\nThe math results, OpenAI says, were “formalized” or “verified” in Lean, [a proof assistant tool](https://www.simonsfoundation.org/news/from-trust-to-verification-leans-impact-on-mathematics/) meant to reduce the need to check and recheck work. Lean reliance has already been an issue for OpenAI, since human readers digging around in OpenAI’s Lean-verified solution—supposedly—to the [Navier-Stokes Millenium Problem](https://openai.com/index/navier-stokes-solution/) became concerned that [Lean verified a weaker assertion](https://www.science.org/content/article/openai-just-changed-math-forever-exactly-how-no-one-yet-knows) than what was initially written in what OpenAI published.\n\nAmid these growing pains, OpenAI says it has already “reached out to external experts”—often the very scholars upon whose work the models are building—and says it wants them to act as “shepherds,” who will put together groups who will then convert these AI outputs into, well, *new human knowledge*. Though in the blog post, OpenAI acknowledges that “choosing initial shepherds necessarily shapes who gets involved first and creates asymmetry of information.”\n\nFor what it’s worth, some of the “raw” information [is now on GitHub](https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf)—but not all of it. The group working on physics, for instance, has decided, OpenAI says, “to hold off on releasing the AI-produced artifacts and instead work on writing it up themselves.”", "url": "https://wpnews.pro/news/openai-trumpets-3-more-math-and-science-results-along-with-a-new-plan-for-them", "canonical_source": "https://gizmodo.com/openai-trumpets-3-more-math-and-science-results-along-with-a-new-plan-for-publishing-them-2000830956", "published_at": "2026-10-27 00:13:11+00:00", "updated_at": "2026-10-27 00:13:41.600645+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "large-language-models", "ai-safety"], "entities": ["OpenAI", "Exponential Time Hypothesis", "Kakeya conjecture", "local smoothing conjecture", "Quantum Chromodynamics", "Standard Model", "Lean", "Navier-Stokes Millennium Problem"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/openai-trumpets-3-more-math-and-science-results-along-with-a-new-plan-for-them", "markdown": "https://wpnews.pro/news/openai-trumpets-3-more-math-and-science-results-along-with-a-new-plan-for-them.md", "text": "https://wpnews.pro/news/openai-trumpets-3-more-math-and-science-results-along-with-a-new-plan-for-them.txt", "jsonld": "https://wpnews.pro/news/openai-trumpets-3-more-math-and-science-results-along-with-a-new-plan-for-them.jsonld"}}