AI may have just solved a million-dollar math problem

The Cold Open

ALEX: There is a list of seven problems in mathematics that have stood for over a century. A million dollars, unclaimed, waits for anyone who cracks even one. Generations of the world's sharpest mathematicians have tried and failed. Tonight, Scientific American says AI may have just walked in and done exactly that — and if the proof holds, we are talking about a fundamentally different category of machine. I'm Alex. And this is OpenAI Dispatch.

The Hook

MAYA: Welcome back. I'm Maya, that was Alex. Tonight: AI and a Millennium Prize problem and what it tells us about where reasoning models actually are, the builders who are choosing to keep their data completely off cloud AI, and Anthropic's failed six-billion-dollar deal and what the fallout means for the inference race OpenAI is running. Plus quick hits before we wrap.

The Signal

AI and the Millennium Prize Problem

ALEX: Up first: Scientific American reported today that AI may have just solved one of the seven Millennium Prize Problems — the ones the Clay Mathematics Institute put on the board in 2000, each carrying a million-dollar prize that has sat unclaimed ever since. Their framing was 'the field will never be the same.' For a science publication, that is not a casual claim.

MAYA: Context for anyone not steeped in this: these problems are not just difficult. They are problems where the world's sharpest mathematicians have spent entire careers making essentially no progress. The Riemann Hypothesis. P versus NP. They're famous specifically for how thoroughly they have resisted human effort.

ALEX: And this is formal proof, not text generation. Constructing a valid mathematical proof requires a verifiable logical chain at every step. That is the kind of structured reasoning OpenAI's o3 architecture is built toward — not plausible-sounding output, provable output.

MAYA: I want to flag the word 'may' in that headline, because it is doing real work. A proof does not count until the mathematical community verifies every step. We have seen AI-generated proofs look airtight and then collapse under expert review. This is not a done deal.

ALEX: Valid — and the article is honest about it. But 'may have solved' from Scientific American still clears a real editorial threshold. It is not a fringe claim, and treating it as one undersells what is happening.

MAYA: So let's follow the thread for builders: if reasoning models can work at this level, formal software verification is the immediate practical unlock — proving code actually does what it claims, not just testing that it usually does.

ALEX: Formal verification has historically been expensive enough to stay in aerospace and chip design. If this scales to the API level, every engineering team shipping production software has a materially different tool on the table.

MAYA: AI that writes code versus AI that certifies it — those are different value propositions. For anyone building at scale, the second one is worth considerably more.

Deep Dive

The Builders Going Dark

MAYA: Not every builder is handing their data to cloud APIs, though. Some are going the opposite direction entirely.

ALEX: Up next: a project that surfaced on Hacker News tonight from Croplock — an edge AI device that analyzes cannabis grows entirely on-device. Their explicit design choice: nothing leaves the LAN. No API calls, no cloud.

MAYA: Easy to read as a niche project and move on. But think about the actual reason behind that call. Cannabis operations are state-legal in many places and federally illegal in the US. Your grow data sitting in a third-party cloud is not just a privacy concern — it is a potential legal exposure.

ALEX: So this is a real architectural tradeoff: accept lower model performance in exchange for data that stays local. That is a deliberate vote against the cloud AI model.

MAYA: And edge hardware has gotten cheap enough that it is now a genuine option. A setup like this does not need a server room. It runs on consumer silicon. That changes the economics of opting out.

ALEX: Here is where I would push back: most SaaS builders are not going to do this. Spinning up local inference has real engineering overhead. The API is dramatically easier for the 90-percent case. I do not think this project signals a broad threat to OpenAI's core business.

MAYA: Agreed on the mainstream case. But the category where data truly cannot go to a third party — regulated industries, healthcare, legal gray zones — is not small, and it is the hardest segment to win back once builders go local.

ALEX: OpenAI has not shipped an on-device frontier model. The open-source stack — Llama derivatives running on consumer hardware — is currently eating this segment. That is the real competitive pressure, not this one project.

MAYA: For anyone in this audience: classify your data before you pick your stack. Some problems belong on the API. Some belong on your hardware. Getting that wrong early means a painful rebuild later.

The Anchor

Anthropic's Decart Walk-Away

MAYA: On the M&A side — a deal that did not happen is telling its own story about where the AI infrastructure race stands.

ALEX: Third story: Verdict reported today that Anthropic has ended acquisition talks with Decart AI at a reported price of six billion dollars. The deal is off.

MAYA: Decart has been focused on fast inference — making model serving cheaper and lower latency. If Anthropic was six billion dollars serious, inference cost is exactly where they feel exposed.

ALEX: I would weight that differently. A company at Anthropic's scale does not walk away from six billion unless diligence found something, or they decided they can build it themselves. The fact that they walked suggests they think they can build it.

MAYA: That is one read. Another is that the price simply did not pencil — six billion for inference optimization is steep when open-source alternatives are closing the gap. You do not have to acquire what someone else is about to publish.

ALEX: Either way, the OpenAI angle — the only angle this newsletter takes on competitor news: OpenAI has invested heavily in its own inference infrastructure. This deal not closing means a direct competitor stays on its current trajectory. No one just acquired a shortcut.

MAYA: The inference race stays open. For builders, that means API pricing across the major providers keeps tightening. Competition is doing its job.

Quick Hits

MAYA: Quick hits before we wrap — four things that crossed our radar tonight.

MAYA: Lonnie Bunch, Secretary of the Smithsonian, announced he is stepping down by year-end after public disputes with the Trump administration, per NBC News.

ALEX: Smithsonian runs major AI ethics and digitization programs — leadership transitions here tend to reshape how federal AI research partnerships get structured.

MAYA: Tesla stock drew bullish analyst attention from Motley Fool today, flagged as what the outlet called fantastic news for investors watching the autonomy space.

ALEX: Tesla's robotaxi timeline and agentic AI in vehicles are adjacent territory — autonomy momentum there tends to pull the broader narrative with it.

MAYA: Fidelity says 50-year-olds need $551,280 saved for retirement; Moneywise reports the average 401k balance sits at $215,700 — a gap that is driving real demand for AI-powered financial planning.

ALEX: That planning gap is large enough to be a genuine product category — live territory for anyone building on the ChatGPT API right now.

MAYA: Regeneron Pharmaceuticals is drawing bullish analyst coverage as AI drug discovery gets priced into biotech valuations, per Insider Monkey.

ALEX: Biotech has been one of the most aggressive sectors on AI adoption — watch it for OpenAI's next major enterprise announcement.

Sign-off

ALEX: That is it for tonight. Tomorrow we are watching for the mathematical community's first response to that Millennium Prize claim — if it holds under peer review, that is the story of the year, and we will have it the moment it breaks.

MAYA: I'm Maya. This is OpenAI Dispatch — everything that matters in the OpenAI stack, every day. See you tomorrow.

Sources

1. AI may have just solved a million-dollar math problem — scientificamerican.com
2. Anthropic ends talks on potential $6bn acquisition of Decart AI — finance.yahoo.com
3. Show HN: Edge-AI device that analyzes my cannabis grow, nothing leaves the LAN — croplock.com
4. Smithsonian Secretary Lonnie Bunch is leaving amid fights with Trump — nbcnews.com
5. Fantastic News for Tesla Stock Investors! — finance.yahoo.com
6. Fidelity says 50-year-olds need $551,280 saved for retirement — the average 401(k) balance is just $215,700 — finance.yahoo.com
7. Evaluating Bullish Potential in Regeneron Pharmaceuticals (REGN) Stock — finance.yahoo.com
8. People Moves: RIA Beacon Pointe Hires Execs from BlackRock, Vanguard — finance.yahoo.com