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.

The End of Mathematics — mattwood.fyi

Connections

Related to

AI's Role in Formal Mathematical Proof Verification Both address AI's role in formal mathematics - the essay questions whether AI mathematical capability translates to genuine progress, while the existing item examines AI in formal proof verification, a core tension the essay explores
Palomar: Registry of Lean Verified Mathematics Palomar as a registry of Lean-verified mathematics directly instantiates the infrastructure the essay worries about - machine-verified proofs accumulating without human mathematical understanding or community coherence

Supports

Navier-Stokes Solution 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
Why Junior Engineers Still Matter in the AI Era Both pieces address the human expertise gap as AI systems become superhuman in technical domains - the math essay's concern about community disconnection parallels arguments about why junior engineers still matter despite AI coding capability
Understanding is the new bottleneck 'Understanding is the new bottleneck' directly echoes the essay's thesis - AI can generate mathematical results faster than humans can understand them, making comprehension rather than computation the limiting factor for genuine progress

Challenges

Anthropic Formalizes Fermat's Last Theorem in Lean Anthropic formalizing Fermat's Last Theorem in Lean represents exactly the kind of AI mathematical achievement the essay scrutinizes - does this represent real mathematical progress or impressive but disconnected capability?

Challenged by

Numberwang Neural Network Numberwang deliberately parodies mathematical meaninglessness - a neural network trained to classify 'Numberwang' satirically challenges the notion that mathematics has inherent structure or that ML classification tasks are always meaningful

Type:	link
First published:	Monday, 14 September 2026 at 20:46 UTC
Location:	https://www.daniellitt.com/blog/2026/8/11/the-end-of-mathematics/
URL:	https://mattwood.fyi/i/6e061253

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