Models & Labs
OpenAI doubles down on math AI despite researcher backlash
The Verge AIhigh confidence
Why it matters
- →OpenAI is treating mathematical proof generation as a high-volume industrial process rather than a careful academic exercise.
- →The company is prioritizing the rapid dissemination of potential discoveries over traditional peer review and verification standards.
- →Significant financial resources are being deployed to test model limits on unsolved problems, raising concerns about resource disparity in science.
OpenAI CEO Sam Altman confirmed during a podcast interview that the company holds numerous unpublished mathematical discoveries and has no intention of slowing its output. OpenAI has spent approximately $10 million on solving the Navier-Stokes Millennium Prize problem alone, part of a broader hundreds-of-millions investment in AI-driven mathematics. While acknowledging the chaos caused by rapid releases, Altman argued that withholding major scientific findings is unacceptable. The company continues to face criticism from researchers for inadequate verification and poor communication of these results.
Read originalThe story around this
Earlier coverage that leads up to this article, and what followed. Lines connect each piece to the closest one after it, converging here.
How we got here
- 1OpenAI's Model Solves $1M Math Problem
The Rundown AI · September 9, 2026 · Related
- 2OpenAI Faces Backlash from Mathematicians
TechCrunch AI · September 11, 2026 · Same story
- 3OpenAI's Controversial Win in Mathematics
The Verge AI · September 12, 2026 · Same story
- 4Mathematicians' Dilemma: AI Utility vs. Attribution
WIRED AI · September 19, 2026 · Related
- 5OpenAI launches math advisory group amid controversy
TechCrunch AI · September 21, 2026 · Same story
- 6OpenAI faces backlash over math breakthroughs and ethics
The Verge AI · October 5, 2026 · Same story
- 7OpenAI releases 722 AI-generated math manuscripts
Wes Roth · October 7, 2026 · Related
- 8OpenAI Math Release Sparks Backlash and Crypto Fears
Wes Roth · October 9, 2026 · Same story
Follow this story
Open the full story →OpenAI claims major proofs in math, CS, and physics
6 developments
- Oct 26 · The Verge AI
OpenAI claims major proofs in math, CS, and physics - Oct 27 · Wes Roth
OpenAI AI disproves Exponential Time Hypothesis↳ OpenAI claims its AI disproved the Exponential Time Hypothesis using Lean 4. - Oct 27 · TechCrunch AI
OpenAI and Anthropic claim to refute Exponential Time Hypothesis - Oct 27 · The Verge AI
OpenAI's math breakthroughs spark researcher backlash↳ OpenAI faces backlash for restricting proof verification to select 'shepherds' despite advisory warnings against gatekeeping. - Oct 30 · The Verge AI
OpenAI doubles down on math AI despite researcher backlash (This article)↳ Altman confirms OpenAI holds massive undiscovered math stockpile and prioritizes human access over researcher attribution despite backlash. - Oct 30 · Matt Wolfe
OpenAI Disproves Exponential Time Hypothesis
More from The Verge AI
© The Verge AICoding Toolscoding
DIY Muse Gadget proves Meta's hardware is just a dev kit
Meta’s Muse Charm isn’t a finished product; it’s an invitation to hack. A non-coder used Claude Code to transform a $50 Waveshare ESP32-S3 dev board into a fully functional AI companion, adding ElevenLabs voice synthesis, custom Tamagotchi-style minigames, and remote camera controls that Meta’s official firmware lacks. This reveals a critical truth: the value of Meta’s new hardware ecosystem lies not in its out-of-the-box utility, but in its open-source API allowing anyone to rewrite the experience. The gap between Meta’s polished demo and the actual user reality is bridged entirely by third-party AI coding tools.
The Verge AI
© The Verge AIModels & Labsother
Apple Intelligence arrives in China via iOS 27.3
Apple is finally unlocking its AI suite for Chinese users with the iOS 27.3 beta, marking a significant regulatory milestone after months of approval delays. The rollout relies on Alibaba’s Qwen model rather than OpenAI, integrating features like notification summaries and visual intelligence directly into the OS. By sidestepping the new Siri in favor of established text and image tools, Apple is prioritizing immediate utility over the full generative experience. This move effectively brings Apple’s AI capabilities to a massive new market, albeit with localized constraints that distinguish it from the global release.
The Verge AI
© The Verge AIMarket & Regulationbusiness
Altman argues cloud RAM over local inference
Sam Altman is pushing back against the local AI trend, arguing that hoarding DRAM in personal devices is a global waste during a severe supply crunch. He points out that consumer hardware sits idle most of the time, whereas cloud data centers achieve the high utilization rates needed to justify the billions invested by players like OpenAI and Stargate. This isn't just an opinion; it's a defense of the centralized infrastructure model against the growing open-source movement. The real-world impact is visible in the locked-up supply from Samsung and SK Hynix, which drives up costs for everyone else.
The Verge AI
More in Models & Labs
Models & Labsmodels
llama.cpp b12029 adds CUDA 13 and Snapdragon support
This release quietly cements llama.cpp as the universal inference runtime by finally supporting NVIDIA's latest CUDA 13 stack alongside AMD's ROCm 10.0. The inclusion of native builds for Linux arm64 with Snapdragon chips, covering CPU, Adreno GPU, and Hexagon NPU, signals a serious push into mobile edge deployment. While Apple Silicon KleidiAI is disabled in this specific build, the broader hardware coverage means developers no longer need to compile from source for most modern accelerators. It’s less about new features and more about removing friction for anyone running local models on bleeding-edge or diverse hardware.
llama.cpp Releases
© Matt WolfeModels & Labsmodels
Google Releases Gemini 4 Carbon for Cost-Efficient Inference
Google launched Gemini 4 Carbon, a new model variant aimed at providing high performance at a lower cost for inference tasks.
Matt Wolfe
© Lev SelectorModels & Labsmodels
Google Gemini 4 Carbon Leads LM Arena Leaderboard
Google's new model, Gemini 4 Carbon, has taken the top spot on the LMSYS Chatbot Arena leaderboard.
Lev Selector