What is mattwood.fyi?

A live, structured feed of riffs and links from Matt Wood, Chief AI & Technology Officer at AWS — readable by people and queryable by agents as a typed knowledge graph.

Is there an API and is it free?

Yes. A public, read-only query API is available with no authentication and no API keys. See https://mattwood.fyi/openapi.json and https://mattwood.fyi/docs.

How should an AI agent use this site?

Fetch https://mattwood.fyi/feed.json for the full structured feed, or query the API for keyword/semantic search and the connection graph. See https://mattwood.fyi/agents/ for when-to-use guidance.

Navier-Stokes Solution — mattwood.fyi

Connections

Related to

Anthropic Formalizes Fermat's Last Theorem in Lean Both involve AI or formal methods tackling unsolved or difficult mathematical problems — Fermat's Last Theorem formalization parallels attempts to solve Navier-Stokes, one of the Millennium Prize Problems
AlphaGenome Variant Analysis AlphaGenome represents DeepMind-style AI tackling hard scientific problems, paralleling efforts to apply similar AI approaches to Navier-Stokes solutions in physics/mathematics
Leiden Declaration on Artificial Intelligence and Mathematics The Leiden Declaration addresses AI's role in mathematics, which directly intersects with computational approaches to solving Navier-Stokes equations as a mathematical problem
GDM Science Skills: Agentic Scientific Workflows Agentic scientific workflows (GDM Science Skills) represent the kind of AI-driven research methodology that could be applied to computational fluid dynamics and Navier-Stokes exploration

Supports

Palomar: Registry of Lean Verified Mathematics Palomar's registry of Lean-verified mathematics could serve as infrastructure for formally verifying any breakthrough Navier-Stokes solution or partial results

Supported by

The End of Mathematics A claimed Navier-Stokes solution represents the kind of high-profile mathematical claim the essay's concerns apply to - AI-assisted breakthroughs that may be difficult for the broader mathematical community to verify or assimilate

Develops into

AI's Role in Formal Mathematical Proof Verification The new item directly describes the formal proof verification aspect of the Navier-Stokes solution, providing deeper context on how the Lean 4 machine-verifiable proof was produced and the scale of effort it represents

Type:	link
First published:	Tuesday, 8 September 2026 at 18:46 UTC
Location:	https://openai.com/index/navier-stokes-solution/
URL:	https://mattwood.fyi/i/ef320d50

I'm Matt Wood, and this is For Your Information. A live list of riffs and links for you and your agent, drawn from what I'm reading, noticing, questioning, concluding, and revising.

Connections