Articles
Essays on technology, mathematics, and the forces reshaping how we think and build.
Long-form thinking on topics I care about — from the trajectory of human progress to the structure of mathematical proof.
The S-Curve of Human Progress
From agriculture to artificial intelligence — each revolution reshaped civilization along a predictable curve. The question is: where are we now?
Beyond Chat: Building a Team of AI Agents
Most people use LLMs like a search engine. Here's how you can build a team of AI agents that collaborate to build complex software.
What is Mathematics?
How working with Lean changed my understanding of what mathematics actually is — from classical definitions to directed acyclic graphs of theorems.
Mathematics in the Age of AI
In five years, mathematics went from pen-and-paper proofs to AI agents that disprove published papers and contribute to Mathlib. A personal account of a transformation we're only beginning to understand.