ZeroNoise Logo zeronoise
Post
OpenAI’s Navier–Stokes Claim Puts Verification and Provenance at the Center of AI-for-Science
5 min read
2559 docs
The strongest signal is a frontier-math announcement whose investment significance depends as much on independent validation and data provenance as on raw model capability. Around it, a $15M Series A, local and vertical AI teams, and a fast-forming control layer for agents sharpen the investable map.

1. Funding & Deals

Centralize (YC W24) raised a $15M Series A for enterprise relationship intelligence. Its product turns emails, calls, CRM data, and other customer interactions into org charts showing who a sales team knows, is missing, and which relationships could help win an account. The announcement says teams at Cognition, Intercom, Brex, and Exa use it, and that one customer converted a stalled six-month sales process into an eight-figure deal. The thesis is a “trust graph” for enterprise sales: a narrow, data-rich wedge where institutional relationships are the asset. The next diligence question is repeatability; the evidence supplied here is a strong case study, not a cohort view.

2. Emerging Teams

Open Analytics is the clearest early traction signal in the current set, combining experienced bootstrapping with a privacy and MCP wedge. Its founder reports more than 10 years as a software engineer, over 10 launched products, and four exits. The product is open-source, AI-native, and privacy-first, with AI-chat access, native MCP, a CLI, a public API, GDPR-ready positioning, and self-hosting under AGPL. The team reports more than 500 unique clones in its first 14 days, $200 MRR in week one, a #2 Product Hunt ranking, and $1,000 MRR near the end of its first month. Its headline says “300+ users and 1k mrr in 3 weeks,” while the body says it crossed $1,000 MRR near the end of month one—a small but material diligence discrepancy. Removing the free plan for a seven-day trial with a card reportedly improved customer quality and feedback.

NavigateAI pairs repeat-founder pedigree with a vertical, hands-free workflow. Eric Wu, who built and ran Opendoor before stepping away in 2022, has taken the company out of stealth to build AI copilots that give construction workers real-time guidance through smartphones and Meta’s AI glasses. Sarah Guo describes the mission as serving construction workers and field laborers. The differentiated bet is domain context and interface design at the jobsite rather than another general chat surface.

Desert Ant Labs is a fresh local-inference signal. The European frontier-AI lab launched with 18 models across audio, vision, and text, plus SDKs for Swift, Kotlin, and JavaScript; its positioning is explicit: “No tokens. No logins. Nothing leaves the device.”

3. AI & Tech Breakthroughs

OpenAI’s claimed Navier–Stokes result is the period’s most consequential technical signal—and its clearest diligence trap. OpenAI says a group of agents, using a next-generation model it describes as significantly more capable than GPT-6 Astra, produced a solution to the roughly 90-year-old Navier–Stokes Millennium Prize Problem. Sam Altman says OpenAI initially believed another team had solved the same problem, sought a joint release and offered that team publication priority; after seeing its work, OpenAI said the approaches appeared different and that the other team had solved Euler, not Navier–Stokes. OpenAI also says no specific user data was accessed to solve the problem, but that it cannot rule out de-identified data derived from product usage having helped improve its models, while asserting that the proofs differ. For investors, the announcement should be underwritten as a major capability claim whose value still depends on independent mathematical validation and a clean provenance story.

Agent infrastructure is becoming explicit context-and-identity plumbing. LangChain’s Deep Agents now supports isolated subagents with fresh context and forked subagents that inherit the supervisor’s state; forking is designed to preserve prompt caching and reduce repeated context-gathering work. Its Managed Connections abstraction separately packages agent-versus-user identity, OAuth token storage and refresh, and consent flows behind a single argument in managed-deepagents 0.7. The investable shift is from raw model access toward reusable context, permission boundaries, and deployable control planes.

Open-model competition is splitting along licensing and efficiency lines. Interconnects notes that Google and Meta have moved to Apache 2.0, while Kimi K3 and MiniMax M3 impose commercial or revenue-linked restrictions and prohibited-use terms; GLM-5.3 adds a security-review clause for qualifying Model-as-a-Service businesses above $10 billion in aggregate revenue. The same survey highlights Qwen3.8-Flash-Next’s sparse-attention design and Ling 3.0-flash’s KDA-plus-Gated-MLA hybrid architecture. Model diligence now needs legal compatibility and serving economics alongside benchmark rank.

4. Market Signals

Code generation is moving review from a blanket human gate to risk routing. The number of GitHub pull requests opened has increased fivefold over three years, while PRs and commits nearly doubled toward the end of 2025; teams are responding with vendor reviewers, multi-agent review systems, and agents that apply fixes. Five-person cloud and AI cost-management startup Duckbill made human review mandatory for changes touching public APIs/MCP, authentication, the design system, non-additive database schemas, or agent skills, while strengthening tests, observability, linting, and type checking. Its reported merged PRs rose from 353 to 684, and median merge time was one hour without human review versus 26 hours with it. The investable wedge is therefore not code generation alone: it is deciding which changes require human judgment and filtering the noise before it reaches engineers.

The “software factory” thesis moves diligence from activity to capability. The current framing is that engineering teams build the harness—company context, permissions, evaluations, model routing, and guardrails—that lets non-engineers safely create software. Its proposed test is whether an organization can See, Build, Propagate, Remember, and Notice, rather than how many seats, tokens, agents, or lines of generated code it has. The warning is “ROI rot”: rising agent activity and token consumption can coexist with unused agents, unevaluated workflows, unmaintained software, and little change in the business.

Enterprise-AI traction is being reported in retention, usage, win rate, and margin—not demos alone. Paul Graham cites Legora’s reported 9x annual growth, 78% competitive-pilot win rate, and 95% gross retention. A Legora post adds more than 300% NRR, DAU/MAU above 50%, 17 hours of monthly active-user time, and positive gross margin that is improving each quarter. These are company-reported figures, but they provide a useful underwriting template for workflow AI: retention and gross margin matter more than logo count or raw activity.

5. Worth Your Time

  • Watch — Inside OpenAI’s Breakthroughs in Mathematical Reasoning. The researchers describe Astra as making selective strategic bets, executing finicky details, and backtracking rather than brute-forcing every path; they also acknowledge that human judgment still helped select a promising direction and that validation, explanation, and knowledge organization become more important as proving gets cheaper.
  • Read — What is happening with code reviews?. A practical account of the shift toward adversarial agents, human scope decisions, risk-based review, noise filtering, and schema-first oversight.

  • Read — Latest open artifacts (#24). A compact map of open-model licensing divergence and architecture-level efficiency, including Motif-3’s resource-efficient, MIT-licensed release and the sparse or hybrid designs appearing in newer models.

OpenAI’s Navier–Stokes Claim Puts Verification and Provenance at the Center of AI-for-Science
Summary
Coverage start
1 day ago
Coverage end
5 hours ago
Frequency
Daily
Published
4 hours ago
Reading time
5 min
Research time
16 hrs 24 min
Documents scanned
2559
Documents used
16
Citations
31
Sources monitored
119 / 120
Insights
274
View
Skipped contexts
129
View
Source details
Source Docs Insights Status
Hunter Walk 0 0
SaaStr 1 1
andrewchen 0 0
VC Adventure 0 0
Elad Blog | Substack 0 0
AVC 0 0
Above the Crowd 0 0
Entrepreneur Ride Along 64 4
r/SideProject - A community for sharing side projects 332 67
Future(s) Studies 454 11
Artificial Intelligence (AI) 468 25
Software As a Service Companies — The Future Of Tech Businesses 617 74
Investing In AI 0 0
Big Technology 0 0
The Gradient 0 0
Import AI 0 0
Sam Altman 0 0
The community for ventures designed to scale rapidly | Read our rules before posting ❤️ 140 8
Co-Founder: Find Your Co-Founder Here 0 0
Entrepreneur 119 2
Naval 0 0
Machine Learning 164 3
Deep Learning 11 2
Natural Language Processing 6 1
Venture capital news and articles, for the VC industry 0 0
Newcomer 1 1
Jerry Liu 9 1
Harrison Chase 11 4
Cristóbal Valenzuela 6 4
Amjad Masad 0 0
Arthur Mensch 1 1
clem 🤗 2 0
Aidan Gomez 5 1
Kanjun 🐙 0 0
Suhail 1 1
Guillaume Lample @ NeurIPS 2024 2 1
Clouded Judgement 0 0
Bindu Reddy 4 4
Parag Agrawal 0 0
Harry Stebbings 6 6
Keith Rabois 3 1
Fred Wilson 0 0
Brad Feld 1 0
Exponential View 0 0
The Pragmatic Engineer 0 0
Latent.Space 0 0
Mark Suster 2 1
Benedict Evans 0 0
Allie K. Miller 2 1
Elizabeth Yin 💛 8 2
Roelof Botha 0 0
Andrew Reed 3 1
Luciana Lixandru 0 0
The Pragmatic Engineer 1 1
Elad Gil 7 1
Nathan Benaich 4 2
sarah guo 9 2
@jason 8 3
Vinod Khosla 5 3
Daniel Gross 0 0
Ann Miura-Ko 🦖 7 2
Mike Volpi 2 0
Aravind Srinivas 8 4
Ajay Agarwal 0 0
Leo Polovets 1 1
David Sacks 0 0
Lenny's Newsletter 0 0
Interconnects 1 1
Not Boring by Packy McCormick 1 1
Marc Andreessen 🇺🇸 0 0
Chris Dixon 0 0
Sriram Krishnan 0 0
a16z 9 5
benahorowitz.eth 2 1
martin_casado 2 1
andrew chen 3 0
Scott Kupor 4 0
David Ulevitch 🇺🇸 2 1
Dalton Caldwell 0 0
Y Combinator 6 3
Jessica Livingston 0 0
Paul Graham 6 2
Invest Like The Best 1 1
Garry Tan 8 1
Michael Seibel 0 0
Sam Altman 16 7
TechCrunch 0 0
Plug and Play Tech Center 0 0
No Priors: AI, Machine Learning, Tech, & Startups 0 0
Lex Fridman 0 0
Lightspeed Venture Partners 0 0
500 Global 0 0
Google for Startups 0 0
ThisWeekinStartups 0 0
Two Minute Papers 1 1
My First Million 0 0
Lenny's Podcast 1 1
All-In Podcast 0 0
Garry Tan 0 0
Y Combinator 0 0
Acquired 0 0
Foundation Capital 0 0
20VC with Harry Stebbings 0 0
Sequoia Capital 0 0
Greylock 0 0
Stanford eCorner 0 0
a16z 1 1
Jeremy Howard 0 0
Aravind Srinivas 0 0
Cassie Kozyrkov 0 0
Andrej Karpathy 0 0
Alexandr Wang 0 0
Naval Ravikant 0 0
Clément Delangue 0 0
Elad Gil 0 0
Fei-Fei Li 0 0
Andrew Ng 0 0
Demis Hassabis 0 0
Sam Altman 0 0
Yann LeCun 0 0