K Koda Intelligence
Subscribe
THE SIGNAL · 09 SEP 2026 · 11 MIN READ

A proof nobody has checked yet

OpenAI says one of its models proposed a solution to the Navier-Stokes problem, with no independent mathematician confirming it, while chief scientist Jakub Pachocki warns about the pace of recursive self-improvement.

AIRESEARCHFUNDING
39 of 40 figures cited20 receipts in the register
  1. $3.5 billion1CNBC
  2. 3 Billion2CNBC
  3. 21 Billion3CNBC
The register
SPONSOR KODAFrom the desk

Put your product in front of AI operators.

Koda publishes a fact-checked AI intelligence briefing every morning: site, email, podcast, and video. Founding sponsors lock today's rates for 6 months as the audience compounds.

View the media kit →
Lead Story

The day's defining move.

Model Release · OpenAI
Lead storyModel Release 50%5 OpenAI · 9 September 2026
Model Release·OpenAI·9 September 2026

OpenAI Ships ChatGPT Images 2.5, Adobe Integrates

OpenAI released ChatGPT Images 2.5 on September 8 with sharper detail, more precise editing, and generation latency cut by up to 50%5 versus Images 2.0. Two API variants, GPT-Image-2.5 Flare and GPT-Image-2.5 Sunburst, launched alongside it, and Adobe has already wired the models into Firefly. New workflow features...

Continue reading
AI

OpenAI says one of its models has proposed a solution to Navier-Stokes existence and smoothness, a Millennium Prize problem, but the mathematics community has not yet independently verified the proposal.

World

Iran's Revolutionary Guards declared ships docked in Kuwaiti and Bahraini ports hosting U.S. forces to be targets, ordering tanker crews out after a U.S. missile strike on an Iranian tanker near Kharg Island and a 36-target Treasury sanctions round.

Markets

Sentiment reads Greed, and private capital is matching it: Mistral closed a €3 billion2 Series D led by Samsung Electronics at a post-money valuation above €21 billion3, nearly double its €11.7 billion6 mark a year ago.

Wild Card

Meta shipped an agent that sends emails, sells cars and books travel inside other apps the same week Jakub Pachocki argued for slowing down wherever safety rules are not yet in place; deployment is outrunning the rulebook he wants.

Markets

6 levels at the close.

Market TerminalLAST CLOSE, READ 2026-09-09 · Yahoo Finance
S&P 500 7,673.5214 -0.58%14 6D, window short 7,631.47 low / 7,747.71 high
Nasdaq 26,421.4115 -0.32%15 6D, window short 26,099.77 low / 26,584.06 high
Bitcoin $78,623.7116 -0.62%16 6D, window short $78,623.71 low / $81,271.74 high
Ethereum $2,490.1217 -0.04%17 6D, window short $2,456.08 low / $2,514.55 high
Crude Oil (WTI) $94.5318 +3.32%18 6D, window short $85.76 low / $94.52 high
Crypto Fear & Greed 66 / 10019 Greed 0 to 100 index 25 fear / 50 neutral / 75 greed · alternative.me
Today's Focus

What else the day turns on.

01

Navier-Stokes Claim Awaits Proof

OpenAI frames its model's proposed solution to the Navier-Stokes problem as a potential breakthrough in fluid dynamics, yet no independent mathematician has confirmed it. Millennium Prize problems have historically taken years of peer scrutiny; the headline today is a proposal, not a proof. Treat the result as a research post until the mathematics community weighs in.

02

Agents Expand, Scientist Cautions

Meta's new agent connects email and calendar to complete tasks across applications, from listing a car to building presentations, with Reuters also flagging internal data concerns. At OpenAI, Pachocki says progress toward recursive self-improvement is real and warns about that trajectory, calling for slower movement where safety rules are absent. The two stories show capability shipping to consumers faster than the safety frameworks a chief scientist says are still missing.

03

Mistral's Record European Raise

Mistral's €3 billion2 Series D, led by Samsung Electronics with the EU-backed Scaleup Europe Fund and PSG Equity co-leading, values the French lab above €21 billion3. Mistral describes it as the largest equity raise ever for a European AI company, and the co-lead by a public EU vehicle signals Brussels backing a national champion with money, not only policy. The valuation nearly doubling in a year tracks the Greed reading in broader sentiment.

Listen & Watch

Daily broadcasts.

Podcast · Infographic
The daily audio briefing

Listen to today's briefing

Visual

Intelligence map

The Wire

10 stories from 4 desks.

Lead carried above
Benchmark·OpenAI

OpenAI Model Proposes Navier-Stokes Solution

OpenAI published a research post saying one of its models has proposed a solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize problems in mathematics. The company frames the result as a potential breakthrough in fluid dynamics. The proposal has not yet been independently verified by the...

Read
Consolidation·CNBC

Mistral Raises €3 Billion2 At €21 Billion3 Valuation

French lab Mistral closed a €3 billion2 ($3.5 billion1) Series D led by Samsung Electronics, with the EU-backed Scaleup Europe Fund and PSG Equity co-leading, at a post-money valuation above €21 billion3 (about $24 billion4). That nearly...

Read
Policy·OpenAI

Pachocki Warns On Recursive Self-Improvement Pace

OpenAI chief scientist Jakub Pachocki said the company is making progress toward recursive self-improvement, where models help build their successors, and warned about the dangers of that trajectory, according to Fortune. He argued for...

Read
Also on the wire
  1. ReutersMeta Agent Acts Across Apps, Raises Data Fears
  2. CNBCUS Spy Agencies Flag China's Model Distillation
  3. ReutersSoftware Stocks Slide On AI Disruption Fears
  4. OpenAIOpenAI Puts GPT-5.6 Sol On Quantum Experiments
  5. ReutersCanada Launches National AI Literacy Initiative
  6. ReutersFirmus To Supply OpenAI Compute From Malaysia
  7. MicrosoftWindows 11 Update Refreshes On-Device AI Stack
The Lab

Tool of the day, field tested.

All Lab reports
Revolte home page, captured for the 9 September 2026 Lab report Tool of the day 6.520/ 10
Coding Free tier, paid plans priced on request Under an hour for a first governed coding session; longer once you wire in a deploy target and monitoring

Revolte

Revolte's bet is that the audit trail, not the code generation, is the part your team will actually pay for.

The governance wrapper is the whole product here: plan approval before execution, inline diffs, cost caps, audit logs, and a rule that anything above a risk threshold routes to a human first. That makes it a different animal from Cursor or Devin, and it also means the value only shows up once you have wired in a tracker, a cloud target and a monitoring source. Worth a pilot on one low-risk service for engineering teams with a compliance function breathing on them; not worth the setup tax for a solo developer who just wants faster commits.

Capability 7.0
Ease 6.5
Value 6.0
Momentum 6.0

Interactive Sessions wraps SDLC agents in plan approval, inline diffs, cost caps and audit trails.Paraphrased · MindPattern launch coverage

Also on the radar
Creativity

BeatMV v3.2.6 bundles music generation, video generation, and a vocal remover in one tool

BeatMV v3.2.6 generates a music track, builds a music video around it, and can strip vocals from an existing recording, which covers most of what an independent musician or short-form producer needs for a release cut. Start with the free trial on a track you already own so you can judge the video output against your own footage rather than a demo. Paid plans start at $11.9013 per month.

Try it
Build

MagiCrew pools agents into one shared workforce; define the roles before you add the agents

MagiCrew, surfaced in StartupCorners' September 4 digest, gives each user an AI workforce where multiple agents operate inside a single shared environment instead of separate chat windows. The failure mode with pooled agents is overlap, so write down which agent owns which task and which one has write access before you connect anything. Treat the first week as a permissions exercise, not a productivity one.

Try it
Productivity

Nex is a Claude-powered coworking layer for go-to-market teams; scope it to one high-volume workflow

Nex sits on top of Claude and is built for repetitive go-to-market work such as lead research, sequencing, and follow-up at volume. Because it is aimed at high-volume flows, pick the single most repeated task on your sales or marketing calendar, run Nex on it for a fixed window, and measure time saved and error rate against your current process. Expand only if both numbers move.

Try it
Productivity

Tabbit AI is a browser built for you and your agents at the same time

Tabbit AI is an AI-native browser designed so a human and their agents can operate in the same session, rather than bolting an agent onto a browser built for people. That makes it a candidate for the desktop tasks you currently hand to background computer-use agents blind. Install it alongside your existing browser, route one agent task through it, and watch what the agent does before you give it logged-in sessions.

Try it
The Arena

2 labs moved this week.

  1. OpenAINavier-Stokes proof claim draws verification and credit fight as ChatGPT Images 2.5 ships01
  2. Mistral(recent) Secondary report puts new raise at $3.5 billion1 on a $24.4 billion valuation02
Builder Radar

2 receipts from the repos.

Primary sources, pulled by index
Receipts
  1. Behind: OpenAI Ships ChatGPT Images 2.5, Adobe Integrates DocsGPT Image 2 was released on April 21, 2026 on AI Gateway as OpenAI's state-of-the-art image generation model.

    GPT Image 2 was released on April 21, 2026 on AI Gateway as OpenAI's state-of-the-art image generation model. It's built for fast, high-quality image generation and editing, with flexible image sizes and high-fidelity image inputs that...

    vercel.com
  2. Behind: OpenAI Model Proposes Navier-Stokes Solution README jpolihro/j-polihronov-solution-to-the-navier-stokes-millennium-problem-J-Polihronov-Solution-to-the-Navier-Stokes-Millennium-Problem-. J.

    J-Polihronov-Solution-to-the-Navier-Stokes-Millennium-Problem-. J. Polihronov's Proposed Solution to the Navier-Stokes Millennium Problem Welcome to the Polihronov-Solution-to-the-Navier-Stokes-Millennium-Problem- wiki!

    github.com

Receipts come from the Firecrawl Developer Index (READMEs, docs, issues, merged PRs), first-party sources only. The paper comes from the Firecrawl Research Index, arXiv, last 7 days, picked for today's lead. Quotes are verbatim.

THE DOJO · BUILD TODAY

Audit the agent before you trust the output

  1. 01

    Give intent, then read the checks. Run a task through Revolte Interactive Sessions and log every verification step it performs. If a step is missing, that is the step you own in code, not in the prompt.

  2. 02

    Define roles before you add agents. MagiCrew pools agents into one shared workforce, so write the role boundaries and handoff rules first. An unscoped crew multiplies errors instead of throughput.

  3. 03

    Re-benchmark your image pipeline. ChatGPT Images 2.5 shipped September 8 with generation latency cut by up to 50% versus Images 2.0. Time your own prompts against the two API variants before you rewrite any cost assumptions.

The Bottom Line

Capability shipped fast today. Verification did not.

A frontier lab claiming a Millennium Prize result with no outside confirmation, and its own chief scientist warning about recursive self-improvement, is the same tension builders now face in miniature. Agents that touch email, calendar and payments do not need to be smarter to be dangerous, they need to be unaudited. Mistral's €3 billion2 raise means more of these systems, faster, from more jurisdictions. Ship the capability, but instrument the checks yourself, because nobody is going to hand you a proof.

Receipts

Every number, and where it came from.

39 of 40 figures cited, 20 receipts: 0 verified, 18 reported, 2 estimated
  1. 01$3.5 billionFrench lab Mistral closed a €3 billion ($3.5 billion) Series D led by Samsung Electronics, with the EU-backed Scaleup...CNBC08 SEP 2026as publishedR
  2. 023 BillionMistral Raises €3 Billion At €21 Billion Valuation.CNBC08 SEP 2026as publishedR
  3. 0321 BillionMistral Raises €3 Billion At €21 Billion Valuation.CNBC08 SEP 2026as publishedR
  4. 04$24 billion...co-leading, at a post-money valuation above €21 billion (about $24 billion).CNBC08 SEP 2026as publishedE
  5. 0550%...more precise editing, and generation latency cut by up to 50% versus Images 2.0.OpenAI09 SEP 2026as publishedR
  6. 0611.7 billionThat nearly doubles its €11.7 billion valuation from a year ago and ranks, by Mistral's account, as the largest...CNBC08 SEP 2026as publishedR
  7. 071,357Nepal Flood Death Toll Climbs To 1,357.Reuters07 SEP 2026as publishedR
  8. 08$2,0009 event, reportedly priced above $2,000The Rundown AI09 SEP 2026as publishedR
  9. 09$499A $499 wearable tracks brain activity throughout the dayThe Rundown AI09 SEP 2026as publishedR
  10. 10$517 billionAnthropic signed $517 billion in compute agreements over the past 11 months, totaling 14.8GW of capacity, primarily...TLDR09 SEP 2026as publishedR
  11. 11$45 billion...Google and AWS, plus deals with Akamai, Fluidstack, and a $45 billion agreement with Nscale; the company...TLDR09 SEP 2026as publishedR
  12. 12100,000...AI app built on a debunked water-scarcity myth, passes 100,000 downloads and draws 'scam' accusationsSuperhuman09 SEP 2026as publishedR
  13. 13$11.90Paid plans start at $11.90 per month.BeatMV v3.2.6 bundles music generation, video generation, and a vocal remover in one tool09 SEP 2026as publishedR
  14. 147,673.52S&P 500 close, -0.58% on the sessionYahoo Finance09 SEP 2026yfinance closeR
  15. 1526,421.41Nasdaq close, -0.32% on the sessionYahoo Finance09 SEP 2026yfinance closeR
  16. 16$78,623.71Bitcoin close, -0.62% on the sessionYahoo Finance09 SEP 2026yfinance closeR
  17. 17$2,490.12Ethereum close, -0.04% on the sessionYahoo Finance09 SEP 2026yfinance closeR
  18. 18$94.53Crude Oil (WTI) close, +3.32% on the sessionYahoo Finance09 SEP 2026yfinance closeR
  19. 1966 / 100Crypto Fear & Greed close, Greed on the sessionalternative.me09 SEP 2026as publishedR
  20. 206.5 / 10Revolte, Koda score across four dimensions04R dossier09 SEP 202604R dossier scoringE
V
Verified: the stat gate corroborated this figure against an independent search before publication.
R
Reported: the figure is carried as published by the linked source and was not independently corroborated.
E
Estimated: the figure is approximate or hedged, either in the source or by the stat gate.

Method names the computation path behind the row, from a closed vocabulary: as published, yfinance close, 03B search corroboration, 04R dossier scoring, not recorded.

A figure is money, a percentage, a spelled magnitude, a multiple, a rate carrying its unit, a score over its denominator, a thousands separated number or an index close. Bare integers and years are not counted, so a phrase like "over 100 integrations" carries no mark. A chart's own scale line is the axis of the level above it and is counted once, with that level.

Get the morning Signal

166 editions so far, one a day. Unsubscribe anytime.